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

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

    Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007: proceedings / ed. D. Bosnaski, 2007 r=on-line. - Текст : электронный.