|
004.415.5-392236
25 years of model checking [Electronic resource] : history, achievements, perspectives / ed. O. Grumberg. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5000). - ISBN 978-3-540-69850-0 : Б. ц.
Рубрики: Программы для эвм--Верификация
См. : Текст издания Доп.точки доступа: Grumberg, O. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|