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

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

    All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.], 2007 r=on-line. - Текст : электронный.