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

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

    [Reports] / Stanford univ. 88-1210 : String-functional semantics for formal verification of synchronous circuits : Mfiche.(1) / A.Bronstein,C.Talcott, 1988. - 57 мкфш. - Текст : непосредственный.