Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever (e-book)
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.5930 LNCS Sublibrary : SL 1 – Theoretical computer science and general issues .
978-3-642-11512-7
Roever, Willem Paul de 1943-
Computer science and engineering
Parallel programming (Computer science)--Congresses
Computer programs--Correctness
978-3-642-11512-7
Roever, Willem Paul de 1943-
Computer science and engineering
Parallel programming (Computer science)--Congresses
Computer programs--Correctness