Hannemann, Ulrich.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Concurrency, compositionality, and correctnessessays in honor of Willem-Paul de Roever /
by:
Dams, Dennis.; Hannemann, Ulrich.; Roever, Willem Paul.; SpringerLink (Online service); Steffen, Martin.
(Electronic resources)
Subjects
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.