- 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
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Making Enterprise Risk Management Pay Off: How Leading Companies Implement Risk Managemen
Автор: Thomas L. Barton, Автор: William G. Shenkir, Автор: Paul L. Walker
Размер книги: 2.74 Mb
Антидемидович. Справочное пособие по высшей математике. Функции комплексного переменного
Автор: Боярчук А.К.Категория: Mathematics
Размер книги: 8.55 Mb
Mystical Society: An Emerging Social Vision
Автор: Philip WexlerКатегория: Общественные науки прочие
Размер книги: 23.78 Mb
Debris from a Public Dining Place in the Athenian Agora (Hesperia Supplement vol 25)
Автор: Susan I. Rotroff, Автор: John H. Oakley
Размер книги: 30.30 Mb
Manual of Leaf Architecture
Автор: Beth Ellis, Автор: Douglas C. Daly, Автор: Leo J. Hickey, Автор: John D. Mitchell, Автор: Kirk R. Johnson, Автор: Peter Wilf, Автор: Scott L. Wing
Размер книги: 8.05 Mb