Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.
By: Bollig, Benedikt.
Contributor(s): SpringerLink (Online service).
Material type: BookPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540329237.Subject(s): 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 ServiceDDC classification: 004.0151 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.