• Formal Methods for Components...
  • Bestand

Treffer: Formal Methods for Components and Objects

Titel:
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, 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. 2005
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 328 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 3657
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Components and Objects. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540291312
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540319399 ; 3540319395 ; --354029131-8 ; --354081624-0 ; 978--354029131-2 (Sekundärausgabe) ; 978--354081624-9 (Sekundärausgabe)
DOI:
10.1007/11561163

Zusatz-Informationen

Zusatz-Funktionen