Bollig, Benedikt.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic /
by:
Bollig, Benedikt.
(Electronic resources)
Subjects
Software engineering
Algorithm Analysis and Problem Complexity
Computer software
Computer Science
Information Systems and Communication Service
Computer science
Information systems
Theory of Computation
Mathematical Logic and Formal Languages
Information theory
Software Engineering
Computation by Abstract Devices