libcats.org
Главная

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

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

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

, , ,
This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.

The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

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

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

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Delany, Samuel R - The Einstein Intersection

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

A Central Limit Theorem for Biased Random Walks on Galton-Watson Trees

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

Getting Started with Processing

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

The Caribbean Community (Global Organizations)

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