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

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

    Computer aided verification : 12th Intern., Chicago(Il), July 15-19, 2000: Proc. / Ed.: E. A. Emerson, A. P. Sistla, 2000. - 582 p. - Текст : непосредственный.