Concurrency, compositionality, and correctness essays in honor of Willem-Paul de Roever /
Concurrency, compositionality, and correctness essays in honor of Willem-Paul de Roever / [electronic resource] :
edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
- x, 375 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5930 0302-9743 ; .
9783642115127 (electronic bk.) 9783642115110 (paper)
Parallel programming (Computer science)
Computer programs--Correctness.
Computer science.
Computer Science.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Languages, Compilers, Interpreters.
004
9783642115127 (electronic bk.) 9783642115110 (paper)
Parallel programming (Computer science)
Computer programs--Correctness.
Computer science.
Computer Science.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Languages, Compilers, Interpreters.
004