libcats.org
Главная

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Обложка книги Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

,

The 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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Handbook of Antennas in Wireless Communications

Автор: , Автор:
Размер книги: 37.19 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

chapter-23

Автор:
Размер книги: 5 Kb

The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods

Автор: , Автор: , Автор:
Категория: Lecture notes
Размер книги: 893 Kb

Современный менеджмент (в схемах)

Автор:
Категория: money
Размер книги: 1015 Kb

Marx in London

Автор: , Автор:
Размер книги: 63.40 Mb

The Firebird in Full Score (Original 1910 Version)

Автор:
Размер книги: 12.89 Mb

New Perspectives on Microsoft Office 2010, First Course

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 177.41 Mb

Forever Starts Now

Автор:
Категория: fiction
Размер книги: 220 Kb