Полное описание
> Bollig, B. Formal models of communicating systems : languages, automata, and monadic second-order logic / B. Bollig ; SpringerLink (Online service). - Berlin ; Heidelberg : Springer-Verlag, 2006. - on-line. - URL: http://dx.doi.org/10.1007/3-540-32923-4. - ISBN 978-3-540-32923-7. - ISBN 3-540-32923-4. - Текст : электронный.
ГРНТИ | УДК | |
50.39.29 | 004.75-047.58 |
Рубрики:
Вычислительные системы распределенные -- Моделирование
Доп. точки доступа:
SpringerLink (Online service)
http://dx.doi.org/10.1007/3-540-32923-4
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.75.001.57/B74-053852)>
Шифр в сводном ЭК: dcd0b02a8a4a1b6099db828babdb14f0
Просмотр издания