• Formal Methods for Industrial...
  • Bestand

Treffer: Formal Methods for Industrial Critical Systems

Titel:
Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / edited by Darren Cofer, Alessandro Fantechi
Verantwortlich:
Cofer, Darren (Herausgeber); Fantechi, Alessandro (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, 233 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5596
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Industrial Critical Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642032394
Schlagworte:
ISBN:
9783642032400 ; 3642032400 ; 978--364203239-4 (Sekundärausgabe) ; 978--364203241-7 (Sekundärausgabe)
DOI:
10.1007/978-3-642-03240-0

Zusatz-Informationen

Zusatz-Funktionen