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

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

    Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008, Haifa, Israel, October 27-30, 2008: proceedings / ed. H. Chockler, 2009 r=on-line