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

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

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