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

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

    Wang C. Abstraction refinement for large scale model checking / C. Wang, G. D. Hachtel, F. Somenzi, 2006 r=on-line. - Текст : электронный.