• Formal Methods for Industrial...
  • Bestand

Treffer: Formal Methods for Industrial Critical Systems

Titel:
Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings / edited by María Alpuente, Byron Cook, Christophe Joubert
Beteiligt:
Alpuente, María (Herausgeber); Cook, Byron (Herausgeber); Joubert, Christophe (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, 213 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5825
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Industrial Critical Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642045691
Schlagworte:
ISBN:
9783642045707 ; 3642045707 ; 978--364204569-1 (Sekundärausgabe) ; 978--364204571-4 (Sekundärausgabe)
DOI:
10.1007/978-3-642-04570-7

Zusatz-Informationen

Zusatz-Funktionen