Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic
Автор
Bollig B
Год
2006
Страниц
182
ISBN
ISBN13:9783540329237
Издатель
Springer Science & Business Media
Описание: