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

Lecture notes in computer science : материалы временных коллективов / ed. G. Goos [et al.]. - Berlin [etc.] : Springer, 19 - . - Текст : непосредственный.
7421 : Formal verification of object-oriented software : intern. conf., FoVeOOS 2011, Turin, Italy, Oct. 5-7, 2011, rev. sel. papers. / International conference on formal verification of object-oriented software (2011; Turin) ; ed. B. Beckert [et al.]. - rev. sel. papers. - 2012. - X, 251 p. : ill. - Библиогр. в конце докл. Указ.: с. 251

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

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

Доп. точки доступа:
Goos, G.\ed.\
Beckert, B.\ed.\
International conference on formal verification of object-oriented software (2011 ; Turin)

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

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

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

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