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 II / edited by Tiziana Margaria, Bernhard Steffen

Verantwortlich:

Margaria, Tiziana (Herausgeber); Steffen, Bernhard (Herausgeber)

Ausgabe:

1st ed. 2012

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XVI, 361 Seiten) : 129 illus.

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7610

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Leveraging Applications of Formal Methods, Verification and Validation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642340314

ISBN:

9783642340321 ; 3642340326 ; 978--364234031-4 (Sekundärausgabe) ; 978--364234033-8 (Sekundärausgabe)

DOI:

10.1007/978-3-642-34032-1

Treffer: Leveraging Applications of Formal Methods, Verification and Validation

Zusatz-Informationen

Zusatz-Funktionen