Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dams, Dennis, Hannemann, Ulrich, Roever, W. P. de (Willem Paul), Steffen, Martin
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2010]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5930.
Subjects:	Computer programs > Correctness. Computer science. Parallel programming (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online