Warren A. Jr. Hunt FM8501: A Verified Microprocessor 9783540579601

Варианты приобретения

Цена: 65210.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 277 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Warren A. Jr. Hunt
Название: FM8501: A Verified Microprocessor
ISBN: 9783540579601
Издательство: Springer
Классификация:

Персональные компьютеры

ISBN-10: 3540579605
Обложка/Формат: Paperback
Страницы: 342
Вес: 0.50 кг.
Дата издания: 20.05.1994
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 19
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The FM 8501 microprocessor was created to express user-level specifications and design implementations using a formal logic. The author of this monograph explains how its original implementation model, although inadequate for hardware design, inspired his own verification methodology.

FM8501: A Verified Microprocessor, Warren A. Jr. Hunt