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...
Новинки!
Все новинки
Популярные книги
Популярная книга в разделе
Саморазвитие / личностный рост
Памела Друкерман
скачать книгу Французские дети не плюются едой. Секреты воспитания из Парижа автора Памела Друкерман
Французские дети не плюются едой. Секреты воспитания из Парижа
Рейтинги библиотеки
Жанры

все жанры

В этот день...
9 января 1890 года родился Карел Чапек (Karel Capek), чешский писатель (ум. 1938г.).
Новый отзыв
скачать книгу 'Когда-нибудь и я взмахну крылом'
Когда-нибудь и я взмахну крылом
limo7:
книга отличная!...
все отзывы на книги
У нас ищут
Новая подборка книг
В тренде
Детские приключения
Дмитрий Красотин
Летние каникулы
Детство. Время открытий. Время удивляться всему в мире. Радоваться, грустить, искать себя...