Formal methods for components and objects
Subtitle: 6th international symposium
By: FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007. Frank S. de Boer ... (ed.).
Contributors: Boer, Frank S. de
Series: Lecture notes in computer science -- 5382; LNCS sublibrary. SL 2, Programming and software engineering; Lecture notes in computer science -- 5382.; LNCS sublibrary
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York, NY
Language: eng
Number of pages: 311
ISBN-13: 9783540921875
Other titles: FMCO 2008