Электронный каталог

    страница из
    всего найдено записей: 1,
      отображать

    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, 1990. - VI,248 p. p. - Текст : непосредственный.