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

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

    Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.