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