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


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

    Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007: proceedings / eds.: W. Damm, H. Hermanns, 2007 r=on-line. - Текст : электронный.