|
|
libcats.org
Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004Bernhard Steffen, Giorgio LeviThis book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004. The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.
Скачать книгу бесплатно (pdf, 3.37 Mb)
Читать «Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Справочник по инфракрасной технике. Приборная база ИК-системАвтор: Волф У., Автор: Цисис Г. (ред.)
Размер книги: 39.93 Mb
August Wilson and Black AestheticsАвтор: Dana Williams, Автор: Sandra Shannon, Автор: August Wilson, Автор: Sybil Roberts
Размер книги: 919 Kb
Advances in Numerical Simulation of Nonlinear Water Waves (Advances in Coastal and Ocean Engineering)Автор: Qingwei MaКатегория: Техника
Размер книги: 21.04 Mb
Скифские изваяния VII-III в.в. до н. э.Автор: В. С. Ольховский, Автор: Г. Л. Евдокимов
Размер книги: 8.72 Mb
Historia Del Escepticismo Griego History of Greek ScepticismАвтор: Maria Lorenza Chiesara, Автор: Pedro Bádenas de la Peña (Traductor)
Размер книги: 8.53 Mb
Perspectives in Partial Differential Equations, Harmonic Analysis and Applications (Proceedings of Symposia in Pure Mathematics)Автор: Dorina Mitrea, Автор: Marius Mitrea
Размер книги: 13.41 Mb
A Handbook of Statistical Analyses Using Stata, Second EditionАвтор: Brian S. Everitt, Автор: Sophia Rabe-Hesketh
Размер книги: 3.98 Mb
|
|
|