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

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

    FM 2008: formal methods : 15th International symposium on formal methods, Turku, Finland, May 26-30, 2008: proceedings / ed. B. Cuellar, 2008 r=on-line. - Текст : электронный.