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

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

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

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

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

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

    Bakker, Jacobus Willem de (1939-2012). CCS for OO and LP / J.W. de Bakker,E.P. de Vink, 1991. - 33 p. - Текст : непосредственный.

    Vink E.P. de Bisimulation for probabilistic transition systems: a coalgebraic approach / E.P. de Vink,J.J.M.M.Rutten, 1998. - 22 p. - Текст : непосредственный.