търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Springer-Verlag Berlin Heidelberg
Herbert Stoyan (auth.)
setq
progn
axiom
cond
gemäß
prog
expr
statement
fcond
goto
iaci
pstat
xaci
anwendung
formk
variablen
beweis
zuweisungen
stufe
iac1
axiome
lemma
vark
ispi
regeln
rac2
statements
siehe
lisp
rac1
cexpr
formen
lexpr
regelanwendung
seiten
argument
compiler
transformieren
bzw
it1
wert
funktion
tritt
ausdrücke
rac3
argumente
beweisen
lambda
stehende
sts
Година:
1984
Език:
german
Файл:
PDF, 6.83 MB
Вашите тагове:
0
/
0
german, 1984
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×