Treffer: Formal Methods for Components and Objects

Titel:
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
Verantwortlich:
Bonsangue, Marcello M (Herausgeber); Madelaine, Eric (Herausgeber)
Ausgabe:
1st ed. 2009
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 299 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5751
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Components and Objects. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642041662
Schlagworte:
ISBN:
9783642041679 ; 3642041671 ; 978--364204166-2 (Sekundärausgabe) ; 978--364204168-6 (Sekundärausgabe)
DOI:
10.1007/978-3-642-04167-9

Zusatz-Informationen

Zusatz-Funktionen