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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

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

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

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

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

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

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb

Break-Even Analysis

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

Очищение ума. Сборник

Автор:
Категория: society, society, religion
Размер книги: 1.60 Mb

Agent Mediated Electronic Commerce 2 conf., IJCAI 1999

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 4.15 Mb

Флора и фауна Чечни и Ингушетии

Автор:
Категория: Лингвистика
Размер книги: 1.83 Mb

Radical Sociology of Durkheim and Mauss

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

Bridging The Gap: Essays on Inclusive Development and Education

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

The Baptism Of Fire

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

The Kill Riff

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