Hannemann, Ulrich.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Concurrency, compositionality, and correctnessessays in honor of Willem-Paul de Roever /
by:
Dams, Dennis.; Hannemann, Ulrich.; Roever, Willem Paul.; SpringerLink (Online service); Steffen, Martin.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Parallel programming (Computer science)
Computer programs
Computer science.
Computer Science.