Catalog

Record Details

Catalog Search



Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.

Electronic resources

Record details

  • ISBN: 9783540329237
  • Physical Description: IX, 181 p. 72 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: 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.

Additional Resources