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

Lecture notes in computer science : материалы временных коллективов / ed. G. Goos [et al.]. - Berlin [etc.] : Springer , 19 - . - Текст : непосредственный.
6405 : Hardware and software: verification and testing : 5th intern. Haifa verif. conf., HVC 2009, Haifa, Israel, Oct. 19-22, 2009 / International Haifa verification conference (5; 2009; Haifa) ; ed. K. Namjoshi [et al.]. - rev. sel. papers. - 2011. - X, 169 p. : ill. - Библиогр. в конце докл. Указ.: с. 169

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

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

Доп. точки доступа:
Goos, G.\ed.\
Namjoshi, K.\ed.\
International Haifa verification conference (5 ; 2009 ; Haifa)

Имеются экземпляры в отделах: всего -20120711 : ПНТ (-20120712), (1)
Свободны: ПНТ (1), (1)
Копия:

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

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

Заказать издание
Заказ фрагмента документа ₽