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 (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.
Online Access:Full Text via HEAL-Link
Description
Physical Description:IX, 181 p. online resource.
ISBN:9783540329237

Similar Items