Treffer: Formal Methods for Industrial Critical Systems
Titel:
Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur
Verantwortlich:
Ausgabe:
1st ed. 2013
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 199 Seiten) : 46 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 8187
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Industrial Critical Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642410093
Schlagworte:
ISBN:
9783642410109 ; 3642410103 ; 978--364241009-3 (Sekundärausgabe) ; 978--364241011-6 (Sekundärausgabe)
DOI:
10.1007/978-3-642-41010-9