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

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

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Model checking software : 16th international SPIN workshop, Grenoble, France, June 26-28, 2009: proceedings / ed. C. S. Pasareanu, 2009 r=on-line. - Текст : электронный.