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

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

    CONCUR'90 : материал технической информации / Comp.: J. C.M. Baeten, J. W. Klop, 1990. - VII,536 p. p. - Текст : непосредственный.

    CONCUR'91 : материалы временных коллективов / Comp.: J. C.M. Baeten, J. F. Groote, 1991. - IX,540 p. p. - Текст : непосредственный.

    Akkerman G.J. Term rewriting analysis in process algebra / G. J. Akkerman, J. C.M. Baeten, 1991. - 9 p. - Текст : непосредственный.

    Report:Computer science / CWI. CS-R9028 : Process algebra with a zero object / J.C.M.Baeten,J.A.Bergstra, 1990. - 14 p. - Текст : непосредственный.

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

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

    Baeten J.C.M. state operator in real time process algebra / J.C.M.Baeten,J.A.Bergstra, 1991. - 17 с. - Текст : непосредственный.

    Baeten J.C.M. Real time process algebra / J.C.M.Baeten,J.A.Bergstra, 1990. - 45 p. - Текст : непосредственный.

    Baeten J.C.M. Real space process algebra / J.C.M.Baeten,J.A.Bergstra, 1991. - 15 p. - Текст : непосредственный.

    Baeten J.C.M. Design of a specification language by abstract syntax engineering / J.C.M.Baeten,J.A.Bergstra, 1989. - 28 p. - Текст : непосредственный.

    Report:Computer science / CWI. CS-R9103 : Process algebra with signals and conditions / J.C.M.Baeten,J.A.Bergstra, 1991. - 42 p. - Текст : непосредственный.

    process specification formalism based on static Cold / J.C.M.Baeten,J.A.Bergstra,S.Mauw,G.J.Veltink, 1989. - 48 p. - Текст : непосредственный.