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-booksNo physical items for this record
There are no comments on this title.
Log in to your account to post a comment.