Matt Kaufmann; Panagiotis Manolios; J Strother Moo Computer-Aided Reasoning 9780792378495

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

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

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

в Мои желания

Автор: Matt Kaufmann; Panagiotis Manolios; J Strother Moo
Название: Computer-Aided Reasoning
ISBN: 9780792378495
Издательство: Springer
Классификация:

Экспертные системы / системы баз знаний

ISBN-10: 0792378490
Обложка/Формат: Hardcover
Страницы: 337
Вес: 0.68 кг.
Дата издания: 30.06.2000
Серия: Advances in Formal Methods
Язык: English
Размер: 234 x 156 x 21
Основная тема: Computer Science
Подзаголовок: ACL2 Case Studies
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects.

Computer-Aided Reasoning, Matt Kaufmann; Panagiotis Manolios; J Strother Moo