Treffer: Leveraging Applications of Formal Methods, Verification and Validation
Titel:
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / edited by Tiziana Margaria, Bernhard Steffen
Verantwortlich:
Ausgabe:
1st ed. 2008
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 869 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Communications in Computer and Information Science, ISSN 1865-0937 ; 17
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Leveraging Applications of Formal Methods, Verification and Validation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540884781
Schlagworte:
ISBN:
9783540884798 ; 3540884793 ; 978--354088478-1 (Sekundärausgabe) ; 978--354088531-3 (Sekundärausgabe)
DOI:
10.1007/978-3-540-88479-8