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

Hooman, J. Specification and compositional verification of real-time systems / J.Hooman. - Berlin [etc.] : Springer , 1991. - VIII,235 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n558). - ISBN 3-540-54947-1. - Текст : непосредственный.
Библиогр.:с.229-235

ГРНТИ	УДК
50.05.13	004.415.5

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

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

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

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