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

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

    Лицевая сторона карточкиОбратная сторона карточки

    Runtime verification : 8th International workshop, RV 2008, Budapest, Hungary, March 30, 2008: selected papers / ed. M. Leucker, 2008 r=on-line. - Текст : электронный.

    Aachener Informatik : Berichte / RWTH. 2002-10 : Logics for Mazurkiewicz traces / M.Leucker, 2002. - IV, 176 p. 176 p. - Текст : непосредственный.