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

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

Bibliographic Details
Published in:Springer e-books
Main Author: Bollig, Benedikt
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Subjects:
Computer Science
Computer software
Information systems
Information theory
Software engineering
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Systems and Communication Service
Mathematical Logic and Formal Languages
Software Engineering
Theory of Computation
Online Access:http://dx.doi.org/10.1007/3-540-32923-4
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/3-540-32923-4
Перейти в каталог НБ ТГУ

Similar Items