Catalog

Record Details

Catalog Search


Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic Cover Image E-book E-book

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

Bollig, Benedikt. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540329237
  • Physical Description: IX, 181 p. 72 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Search for related items by subject

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.

Electronic resources

Texto completo


Additional Resources