Полное описание

Computer aided verification : 20th International conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008: proceedings / ed.: A. Gupta, S. Malik ; ed.: A. Gupta, S. Malik. - Berlin ; Heidelberg : Springer-Verlag, 2008. - on-line. - (Lecture notes in computer science ; 5123). - URL: http://dx.doi.org/10.1007/978-3-540-70545-1. - ISBN 978-3-540-70545-1. - Текст : электронный.

ГРНТИ	УДК
50.05.13	004.415.5(063)

Рубрики:
Программы для ЭВМ -- Верификация -- Съезды и конференции

Доп. точки доступа:
Gupta, A.\ed.\
Malik, S.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-540-70545-1

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.415.5(063)/C74-032411)

Шифр в сводном ЭК: cdc862a06865cd74cead083a22ee4e91

Просмотр издания