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

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

Show other versions (1)
Bibliographic Details
Main Author: Bollig, Benedikt
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Subjects:
Software engineering
Information theory
Computer science
Computer software
Information systems
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
Online Access:http://dx.doi.org/10.1007/3-540-32923-4

Similar Items

Similar Items