Bollig, Benedikt.
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic / [electronic resource] : by Benedikt Bollig. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital.
9783540329237
10.1007/3-540-32923-4 doi
Computer science.
Software engineering.
Information theory.
Computer software.
Information systems.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
QA75.5-76.95
004.0151
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic / [electronic resource] : by Benedikt Bollig. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital.
9783540329237
10.1007/3-540-32923-4 doi
Computer science.
Software engineering.
Information theory.
Computer software.
Information systems.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
QA75.5-76.95
004.0151