|
|
libcats.org
Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009Neil D. Jones, Markus Müller-OlmThe book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.
Скачать книгу бесплатно (pdf, 3.93 Mb)
Читать «Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Мешок кедровых ореховАвтор: Самохин Николай ЯковлевичКатегория: Советская классическая проза
Размер книги: 900 Kb
AllergyАвтор: Stephen T. Holgate MD DSc FRCP FRCPE MRC, Автор: Martin K. Church MPHARM PhD DSc, Автор: Fernando D Martinez MD, Автор: Lawrence M. Lichtenstein MD PhDКатегория: MEDICINE
Размер книги: 43.93 Mb
C-47 R4D Skytrain units of the Pacific and cbiАвтор: Robert F. Dorr, Автор: Mark Rolfe
Размер книги: 15.45 Mb
The Hippocampus Book (Oxford Neuroscience Series)Автор: Per Andersen, Автор: Richard Morris, Автор: David Amaral, Автор: Tim Bliss, Автор: John O'KeefeКатегория: Образование
Размер книги: 23.84 Mb
Handbook of Research Methods in Public Administration (Public Administration and Public Policy, 71)Автор: Gerald J. MillerКатегория: Общественные науки прочие, Политика
Размер книги: 5.35 Mb
|
|
|