Вход
Электронный каталог
Лицевая сторона карточки | Обратная сторона карточки |
Лицевая сторона карточки | Обратная сторона карточки |
Boer F.S. de compositional model for confluent dynamic data-flow networks / F.S. de Boer,M.M.Bonsangue, 2000. - 15 p. - Текст : непосредственный.
Arbab F. logical interface description language for components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 2000. - 17 p. - Текст : непосредственный.
Arbab F. coordination language for mobile components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 1999. - 15 p. - Текст : непосредственный.
Boer F.S. de fully abstract model for concurrent logic languages / F.S. de Boer,C.Palamidessi, 1990. - 24 p. - Текст : непосредственный.