Treffer: Leveraging Applications of Formal Methods, Verification and Validation
Titel:
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen
Verantwortlich:
Ausgabe:
1st ed. 2012
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 617 Seiten) : 170 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7609
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Leveraging Applications of Formal Methods, Verification and Validation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642340253
ISBN:
9783642340260 ; 3642340261 ; 978--364234025-3 (Sekundärausgabe) ; 978--364234027-7 (Sekundärausgabe)
DOI:
10.1007/978-3-642-34026-0