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

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

    Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008: proceedings / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.