Image from Amazon.com
Concurrency, compositionality, and correctness [electronic resource] : essays in honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
Series: Lecture notes in computer science ; 5930Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Description: x, 375 p. : ill., digital ; 24 cmISBN:- 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 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.