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

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

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

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

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

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

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