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

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

    Rutten J.J.M Deriving denotational models for bisimulation from structured operational semantics / J.J.MRutten, 1989. - 17 p. - Текст : непосредственный.