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

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

    Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006: revised selected and invited papers / ed. S. Edelkamp, 2007 r=on-line. - Текст : электронный.