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

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

    Model checking software : 12th international SPIN workshop San Francisco, Ca, USA, August 22-24, 2005: proceedings / ed. P. Godefroid, 2005 r=on-line. - Текст : электронный.