Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Thomas Ball, Sriram K. Rajamani — Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Thomas Ball, Sriram K. Rajamani — Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Авторы: Thomas Ball, Sriram K. Rajamani

Аннотация:

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.

The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.



Язык: en

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 1

Год издания: 2003

Количество страниц: 251

Добавлена в каталог: 04.11.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте