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

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 ; сост.ed. D. Craigen. - London [etc.] : Springer, 1990. - VI,248 p. p. : ill. - (Workshops in computing). - ISBN 3-540-19635-8. - Текст : непосредственный.
Библиогр.:с.237-243.Указ.:с.245-248

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

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

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

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

Шифр в сводном ЭК: 2427164e04c0e926f01cdb7376d463ae

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