Treffer: Formal Methods for Industrial Critical Systems
Titel:
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino
Verantwortlich:
Ausgabe:
1st ed. 2008
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 254 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4916
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Industrial Critical Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540797067
Schlagworte:
ISBN:
9783540797074 ; 3540797076 ; 978--354079706-7 (Sekundärausgabe) ; 978--354085009-0 (Sekundärausgabe)
DOI:
10.1007/978-3-540-79707-4