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

R/9132/558
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 : 20000 р. - Текст : непосредственный.
Библиогр.:с.229-235

ГРНТИ	УДК
50.05.13	004.415.5

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

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

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