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

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

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

    Integrated formal methods : 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009: proceedings / ed. M. Leuschel, 2009 r=on-line. - Текст : электронный.