Зарубежный заказ Секретный микропроцессор: проверка тематического исследования Второй микропроцессор: проверка тематического исследования
Цена: 23 903руб. (¥1142)
Артикул: 695042328516
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товараПродавец:中华商务图书专营店
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥23486руб.
¥123925 933руб.
¥104521 872руб.
¥3397 140руб.
SECD Microprolssor: вариант проверки.
Автор: Грэм, Брайан Т.
Издательство: Springer (30 мая 1992 г.)
Номер: страница 176
Английский язык
ISBN: 9780792392453
Шатрикод: 9780792392453
Товарный вес: 450,00G
Размер товара: 23,39 см * 15,60см * 1,27 см.
Выбор редактора
Это веха в машинном микропроцессоре Работа иллюстрирует, насколько и другие пионеры достигли в моделях развития, всегда масштабируемые и надежный метод. , Его формализация и отчет об организации и выполнении автоматического доказательства правильности в HOL. Теперь применим кому-то с небольшим количеством предыдущих опыта в формальных методах, чтобы проверить нетривиальную в ограниченном количестве времени. Выходит далеко за пределы типичного проекта MSC.
