- 2 402 202 книги
- Поиск
libcats.org
Model checking
Edmund M. Clarke Jr., Orna Grumberg, Doron A. PeledModel Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)
Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1
Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Спорные вопросы по истории русско литовского права
Автор: Леонтович Ф.И.Категория: История
Размер книги: 2.34 Mb
Теоретические основы робототехники
Автор: Корендясев А.И., Автор: и др.Категория: E_Engineering
Размер книги: 4.48 Mb
2008 Special Design Provisions for Wind and Seismic Standard (ANSI AF&PA SDPWS-08)
Автор: AF&PA
Размер книги: 2.68 Mb
Лев Эммануилович Гуревич. Воспоминания друзей, коллег и учеников. Избранные труды
Автор: Каганов М.И., Автор: Яссиевич И.Н., Автор: Чернин А.Д., Автор: Днепров В.Д., Автор: Сена Л.А., Автор: Глинер Э.Б., Автор: Ахиезер А.И., Автор: Павлов С.Т., Автор: Корнблит И.Я., Автор: Гельмонт Б.Л., Автор: Зегря Г.Г., Автор: Гуревич Л.Э., Автор: Ипатова И.П., Автор: Эфрос А.Л., Автор: Шкловский Б.И., Автор: Гасымов Т.М., Автор: Крылов Е.Т., Автор: Лебединский А.И., Автор: Левин
Размер книги: 4.24 Mb
