*Result*: Formal Methods for Components and Objects

*Title*:
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / edited by Marcello M. Bonsangue, Eric Madelaine
*Author/editor-in-chief*:
Bonsangue, Marcello M (Herausgeber); Madelaine, Eric (Herausgeber)
*Edition*:
1st ed. 2009
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 299 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 5751
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Methods for Components and Objects. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642041662
*Subject Added Keywords*:
*ISBN*:
9783642041679 ; 3642041671 ; 978--364204166-2 (Sekundärausgabe) ; 978--364204168-6 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-04167-9

*Additional information*

*Additional functions*