• Formal Methods for Components...
  • Bestand

Treffer: Formal Methods for Components and Objects

Titel:
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Verantwortlich:
de Boer, Frank S (Herausgeber); Bonsangue, Marcello M (Herausgeber); Graf, Susanne (Herausgeber); de Roever, Willem-Paul (Herausgeber)
Ausgabe:
1st ed. 2007
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 300 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4709
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Components and Objects. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540747918
Schlagworte:
ISBN:
9783540747925 ; 3540747923 ; 978--354074791-8 (Sekundärausgabe) ; 978--354084353-5 (Sekundärausgabe)
DOI:
10.1007/978-3-540-74792-5

Zusatz-Informationen

Zusatz-Funktionen