banner banner banner
Серия: Без серии
обложка книги Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
20-08-2019
Текст
зарубежная компьютерная литература
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
(0 из 5) [ оценок]
A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The bo...
Новинки!
Все новинки
Популярные книги
Популярная книга в разделе
Саморазвитие / личностный рост
Ника Набокова
скачать книгу #В постели с твоим мужем. Записки любовницы. Женам читать обязательно! автора Ника Набокова
#В постели с твоим мужем. Записки любовницы. Женам читать обязательно!
Рейтинги библиотеки
Жанры

все жанры

В этот день...
22 ноября 1963 года ушел из жизни Олдос Хаксли (Aldous Leonard Huxley) (р. 1894), английский писатель.
Новый отзыв
скачать книгу 'Когда-нибудь и я взмахну крылом'
Когда-нибудь и я взмахну крылом
limo7:
книга отличная!...
все отзывы на книги
У нас ищут
Новая подборка книг
В тренде
Детские приключения
Дмитрий Красотин
Летние каникулы
Детство. Время открытий. Время удивляться всему в мире. Радоваться, грустить, искать себя...