• Formal Methods for Components...
  • Bestand

Treffer: Formal Methods for Components and Objects

Titel:
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, 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. 2006
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 429 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 4111
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Components and Objects. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540367499
ISBN:
9783540367505 ; 3540367500 ; --354036749-7 ; --354082705-6 ; 978--354036749-9 (Sekundärausgabe) ; 978--354082705-4 (Sekundärausgabe)
DOI:
10.1007/11804192

Zusatz-Informationen

Zusatz-Funktionen