Laurence Pierre; Thomas Kropf Correct Hardware Design and Verification Methods 9783540665595

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

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

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

в Мои желания

Автор: Laurence Pierre; Thomas Kropf
Название: Correct Hardware Design and Verification Methods
ISBN: 9783540665595
Издательство: Springer
Классификация:

Техническое обслуживание и ремонт

ISBN-10: 3540665595
Обложка/Формат: Paperback
Страницы: 376
Вес: 0.54 кг.
Дата издания: 15.09.1999
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 20
Основная тема: Computer Science
Подзаголовок: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME `99). Areas covered include model checking, formal methods and industrial applications, and theorem proving and related approaches.

Correct Hardware Design and Verification Methods, Laurence Pierre; Thomas Kropf