Normal view
MARC view
Formal Models of Communicating Systems Электронный ресурс Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.
Material type:
Computer filePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006ISBN: 9783540329237Subject(s): Computer Science | Computer software | Information systems | Information theory | Software engineering | Computer Science | Algorithm Analysis and Problem Complexity | Computation by Abstract Devices | Information Systems and Communication Service | Mathematical Logic and Formal Languages | Software Engineering | Theory of ComputationOnline resources: Click here to access online
In:
Springer e-books
No physical items for this record
There are no comments on this title.