Languages
Hannemann, Ulrich.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
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.
(Electronic resources)
Subjects
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)