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

R/9132/6405
Lecture notes in computer science : материалы временных коллективов / ed. G. Goos [et al.]. - Berlin[etc.] : Springer , 19 - . - ISSN 0302-9743. - Текст : непосредственный.
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. - ISBN 978-3-642-19236-4 : 2994.88 р.

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

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

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

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

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