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

J2/23232
Formal methods for trustworthy computer systems(FM 89) : rep.from FM 89A workshop on the assessment of formal methods for trustworthy computer systems, July 23-27, 1989, Halifax / сост.ed. D. Craigen. - London [etc.] : Springer, 1990. - VI,248 p. p. : ill. - (Workshops in computing). - ISBN 3-540-19635-8 : 40.00 р. - Текст : непосредственный.
Библиогр.:с.237-243.Указ.:с.245-248

ГРНТИ	УДК
50.39	004.7.052(063)

Рубрики:
Вычислительные системы -- Надежность -- Съезды и конференции

Доп. точки доступа:
Craigen, D.\ed.\

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

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