libcats.org
Главная

Model Checking of Software, 9 conf

Обложка книги Model Checking of Software, 9 conf

Model Checking of Software, 9 conf

,
This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Станислав Гимадеев. Принцип четности

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

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Журнал 'Дом'. 2004 05 (djvu)

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

Наш человек в Риме

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

US Army Airborne 1940-90

Автор:
Категория: Исторические
Размер книги: 35.34 Mb

Court traité d'ontologie transitoire

Автор:
Категория: Philosophy
Размер книги: 14.61 Mb