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

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

    Model checking software : 17th international SPIN workshop, Enschede, the Netherlands, September 27-29, 2010: proceedings / ed. J. Pol, 2010 r=on-line. - Текст : электронный.