- 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Владимир Романенко, Элеонора Вольницкая "Восстановление производительности водозаборных скважин"
Автор:
Размер книги: 1.21 Mb
Magnetic Resonance Imaging: Methods and Biologic Applications (Methods in Molecular Medicine)
Автор: Pottumarthi V. Prasad
Размер книги: 5.05 Mb
Remote Control: New Media, New Ethics
Автор: Catharine Lumby, Автор: Elspeth ProbynКатегория: Philosophy
Размер книги: 1.05 Mb
Alekseev V.M., Tihomirov V.M., Fomin S.V. Optimal#noe upravlenie (Nauka, 1979)(ru)(430s).djvu
Автор:
Размер книги: 3.09 Mb
Marine and Freshwater Products Handbook
Автор: Roy E. Martin, Автор: Emily Paine Carter, Автор: Jr., Автор: George J. Flick, Автор: Lynn M. Davis
Размер книги: 82.10 Mb
Foundations of Multidimensional and Metric Data Structures (The Morgan Kaufmann Series in Computer Graphics)
Автор: Hanan SametКатегория: Компьютеры, Алгоритмы и структуры данных
Размер книги: 56.42 Mb
Harmonic Analysis on Free Groups
Автор: Alessandro Figa-Talamanca, Автор: Massimo A. PicardelloКатегория: Mathematics
Размер книги: 3.33 Mb