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

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

    Model checking software : 13th International SPIN workshop, Vienna, Austria, March 30 – April 1, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.