Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /

• Main Author: Bollig, Benedikt (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Subjects: Computer science.; Software engineering.; Computers.; Algorithms.; Mathematical logic.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Information Systems and Communication Service.