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

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

    Ganai M. SAT-based scalable formal verification solutions / M. Ganai, A. Gupta, 2007 r=on-line. - Текст : электронный.