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


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

    Formal methods applications and technology : 11th Iiternational wrkshop, FMICS 2006 and 5th iternational wrkshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 :revised selected papers / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.