• Formal Methods for Components...
  • Bestand

Treffer: Formal Methods for Components and Objects

Titel:
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 / edited by Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
Verantwortlich:
Aichernig, Bernhard K (Herausgeber); de Boer, Frank S (Herausgeber); Bonsangue, Marcello M (Herausgeber)
Ausgabe:
1st ed. 2012
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VII, 393 Seiten) : 145 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 6957
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Components and Objects. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642252709
Schlagworte:
ISBN:
9783642252716 ; 3642252710 ; 978--364225270-9 (Sekundärausgabe) ; 978--364225272-3 (Sekundärausgabe)
DOI:
10.1007/978-3-642-25271-6

Zusatz-Informationen

Zusatz-Funktionen