- 2 402 202 книги
- Поиск
libcats.org
Главная →
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
Michael Yoeli, Rakefet Kol
Читать «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)»
Купить электронную версию
Купить электронную версию
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Sturgeon Biodiversity and Conservation
Автор: Vadim J. Birstein, Автор: John R. Waldman, Автор: William E. BemisКатегория: Chemistry-Environmental-Material
Размер книги: 10.96 Mb
Managing Motherhood, Managing Risk: Fertility and Danger in West Central Tanzania
Автор: Denise Roth Allen
Размер книги: 1.09 Mb
El Borak and Other Desert Adventures
Автор: Howard Robert EКатегория: fiction
Размер книги: 2.96 Mb