Набиране на средства 15 септември 2024 – 1 октомври 2024
Относно набирането на средства
търсене на книга
книги
Набиране на средства:
70.7% събрани
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Springer
J Strother Moore
stk
piton
segment
instruction
stack
fm9001
tsp
push
addr
step
ctrl
prog
theorem
okp
icode
instructionp
formal
endif
correctness
function
jump
untag
temporary
array
bool
effects
cdr
implementation
initial
bitv
current
cadr
flags
clock
listp
defined
figure
memory
specification
_x
dehnition
precondition
compiler
vector
programs
counter
elseif
objectp
1st
flg
Година:
1996
Език:
english
Файл:
PDF, 11.43 MB
Вашите тагове:
0
/
0
english, 1996
2
Piton: a mechanically verified assembly-level language
Kluwer
Moore J.S.
stk
piton
segment
instruction
fm9001
stack
push
tsp
addr
step
ctrl
jump
prog
theorem
okp
icode
instructionp
bitv
bool
formal
endif
correctness
function
untag
array
temporary
cdr
effects
implementation
initial
current
cadr
global
clock
listp
1st
flags
defined
fetch
figure
_x
addl
memory
specification
flg
precondition
compiler
vector
elseif
programs
Година:
1996
Език:
english
Файл:
DJVU, 2.94 MB
Вашите тагове:
0
/
0
english, 1996
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×