Treffer: Formal Methods for Industrial Critical Systems
Titel:
Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger
Verantwortlich:
Ausgabe:
1st ed. 2012
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 223 Seiten) : 87 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7437
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Industrial Critical Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642324680
Schlagworte:
ISBN:
9783642324697 ; 364232469X ; 978--364232468-0 (Sekundärausgabe) ; 978--364232470-3 (Sekundärausgabe)
DOI:
10.1007/978-3-642-32469-7