Зарубежный заказ Секретный микропроцессор: проверка тематического исследования SECD Микропроцессор: исследование проверки.
Цена: 23 903руб. (¥1142)
Артикул: 695078312746
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товараПродавец:中华商务图书专营店
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥2425 114руб.
¥1914 036руб.
¥47610 025руб.
¥4499 456руб.
SECD Microprolssor: вариант проверки.
Автор: Грэм, Брайан Т.
Издательство: Springer (7 октября 2012 г.)
Номер: страница 176
Английский язык
ISBN: 9781461365891
Штриховой код: 9781461365891
Вес товара: 280,00 г
Размер товара: 23,39 см * 15,60см * 1,07 см.
Выбор редактора
Это веха в машинном микропроцессоре Работа иллюстрирует, насколько и другие пионеры достигли в моделях развития, всегда масштабируемые и надежный метод. , Его формализация и отчет об организации и выполнении автоматического доказательства правильности в HOL. Теперь применим кому-то с небольшим количеством предыдущих опыта в формальных методах, чтобы проверить нетривиальную в ограниченном количестве времени. Выходит далеко за пределы типичного проекта MSC.
