поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
The SECD Microprocessor: A Verification Case Study
Springer US
Brian T. Graham (auth.)
memory
secd
function
mpc
specification
instruction
verification
microprocessor
suc
formal
operation
theorems
values
defined
operations
theorem
chip
cdr_bits
figure
lispkit
architecture
registers
microcode
correctness
abstract
bits
cdr
arg
bool
eval
constraints
input
clock
functions
is_cons
output
primitive
abstraction
stack
argument
variables
integer
context
definitions
required
arguments
behaviour
is_major_state
signal
quote
Год:
1992
Язык:
english
Файл:
PDF, 6.92 MB
Ваши теги:
0
/
0
english, 1992
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×