- 2 402 202 книги
- Поиск
libcats.org
Computer Aided Verification, 13 conf., CAV 2001
Gerard Berry, Hubert Comon, Alain FinkelProceedings of the 13th International Conference, CAV 2001, held in Paris, France, July 18-22,2001. Offers topical sections on model checking and theorem proving automata techniques, verification core technology, and timed automata. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)
Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Рождественские сказки
Автор: Фарбажевич Игорь ДавыдовичКатегория: Детская литература
Размер книги: 232 Kb
Невыносимый В.Козявин. Выстрел в командора (отрывок из романа) (пародия на Крапивина)
Автор:
Размер книги: 10 Kb
A companion to analysis: A second first and first second course in analysis
Автор: Koerner T.W.
Размер книги: 2.30 Mb
Diphtheria (Deadly Diseases and Epidemics)
Автор: Patrick, Автор: Ph.D. Guilfoile
Размер книги: 2.42 Mb
О смысле жизни. Труды по философии ценности, теории образования и университетскому вопросу
Автор: Рубинштейн М.М.Категория: Философия
Размер книги: 1.81 Mb