- 2 402 202 книги
- Поиск
libcats.org
Верификация моделей программ. Model Checking
Э. М. Кларк, О. Грамберг, Д. Пелед Верификация моделей программ. Model Checking Model CheckingВ монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)
Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)
Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Threshold of War: Franklin D. Roosevelt and American Entry into World War II
Автор: Waldo Heinrichs
Размер книги: 16.21 Mb
The ITIL V3 Factsheet Benchmark Guide: An Award-Winning ITIL Trainers Tips On Achieving ITIL V3 And ITIL Foundation Certification For ITIL Service Management, Second Edition
Автор: Ivanka Menken, Автор: Gerard Blokdijk, Автор: Claire EngleКатегория: Экономика
Размер книги: 5.43 Mb
Dionysos in Archaic Greece: An Understanding Through Images (Religions in the Graeco-Roman World)
Автор: Cornelia Isler-kerenyiКатегория: Религия
Размер книги: 5.04 Mb
Poetics Of Islamic Historiography: Deconstructing Tabari's History (Islamic History and Civilization)
Автор: Boaz Shoshan
Размер книги: 2.13 Mb
The Illustrated Encyclopedia of Hinduism, Vol. 1: A-M
Автор: James Lochtefeld
Размер книги: 11.09 Mb
