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

Leveraging applications of formal methods, verification and validation / SpringerLink (Online service) ; ed. T. Margaria. - Berlin ; Heidelberg : Springer, 2009. - on-line. - (Communications in computer and information science, ISSN 1865-0929 ; 17). - URL: http://dx.doi.org/10.1007/978-3-540-88479-8. - ISBN 978-3-540-88479-8. - Текст : электронный.

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

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

Доп. точки доступа:
Margaria, T.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-540-88479-8

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

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

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