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

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

    Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010: proceedings / ed. D. Méry, 2010 r=on-line. - Текст : электронный.