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

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

    Computer aided verification : 18th international conference, CAV 2006, Seattle, Wa, USA, August 17-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line