Formal Methods for Components and Objects
Subtitle: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
By: edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
Contributors: Bonsangue, Marcello M.; Hallerstede, Stefan; Leuschel, Michael; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6286
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642170706; 9783642170713
Subjects: Logic design; Computer science; Software engineering; Operating systems (Computers)