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

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

blank
blank
blank
Красота
blank
Leucker M. — Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
Leucker M. — Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)

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

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

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



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


Название: Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)

Автор: Leucker M.

Аннотация:

his book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008.

The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.


Язык: en

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

ed2k: ed2k stats

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

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

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

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