Bollig, Benedikt.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic /
by:
Bollig, Benedikt.
(書目-電子資源)
主題
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