Concurrency, Compositionality, and Correctness
Subtitle: Essays in Honor of Willem-Paul de Roever
By: edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
Contributors: Hannemann, Ulrich; Steffen, Martin; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5930
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642115110; 9783642115127
Subjects: Logic design; Computer science; Software engineering; Computer software