- 2 402 202 книги
- Поиск
libcats.org
Computer Aided Verification, 12 conf., CAV 2000
E. Allen Emerson, A. Prasad SistlaProceedings of the 12th International Conference, CAV 2000, held in Chicago, IL, July 15-19, 2000. The conference was devoted to the advancement of the theory and practice for formal methods for hardware and software verification. Covers everything from theoretical foundations to the latest applications. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Анатолий Корнелиевич Виноградов - об авторе
Автор: Виноградов АнатолийКатегория: История
Размер книги: 33 Kb
CCSP SNRS Exam Certification Guide
Автор: Greg Bastien, Автор: Sara Nasseh, Автор: Christian Degu
Размер книги: 9.94 Mb
Shintani-Barnes Zeta and Gamma Functions
Автор: Friedman E, Автор: Ruijsenaars S
Размер книги: 388 Kb
Advanced Modern Physics: Theoretical Foundations
Автор: John Dirk WaleckaКатегория: Математика, Математическая физика
Размер книги: 23.28 Mb
Multicultural citizens: the philosophy and politics of identity
Автор: Chandran Kukathas (ed.)
Размер книги: 82.55 Mb
The Notorious Astrological Physician of London: Works and Days of Simon Forman
Автор: Barbara Howard Traister
Размер книги: 13.70 Mb