Image from Amazon.com
Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.Description: ix, 181 p. : ill., digital ; 24 cmISBN:- 9783540329237 (electronic bk.)
- Electronic data processing -- Distributed processing
- Multitasking (Computer science)
- Computer Science
- Software Engineering
- Theory of Computation
- Computation by Abstract Devices
- Algorithm Analysis and Problem Complexity
- Mathematical Logic and Formal Languages
- Information Systems and Communication Service
- 004 22
- QA76.9.D5 B65 2006
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.