Ramayya Kumar; Thomas Kropf Theorem Provers in Circuit Design: Theory, Practice and Experience 9783540590477

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

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

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

в Мои желания

Автор: Ramayya Kumar; Thomas Kropf
Название: Theorem Provers in Circuit Design: Theory, Practice and Experience
ISBN: 9783540590477
Издательство: Springer
Классификация:

Электроника

ISBN-10: 3540590471
Обложка/Формат: Paperback
Страницы: 312
Вес: 0.45 кг.
Дата издания: 06.03.1995
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 17
Основная тема: Computer Science
Подзаголовок: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The proceedings of the 2nd International Conference on Theorem Provers in Circuit Design, held in Bad Herrenalb, Germany in September 1994. Particular emphasis is placed on benchmark-circuits for hardware verification. Tutorials on two popular theorem provers are included in the text.

Theorem Provers in Circuit Design: Theory, Practice and Experience, Ramayya Kumar; Thomas Kropf