Treffer: Automated Technology for Verification and Analysis
Titel:
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / edited by Zhiming Liu, Anders P. Ravn
Ausgabe:
1st ed. 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 414 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5799
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Automated Technology for Verification and Analysis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642047602
Schlagworte:
ISBN:
9783642047619 ; 3642047610 ; 978--364204760-2 (Sekundärausgabe) ; 978--364204762-6 (Sekundärausgabe)
DOI:
10.1007/978-3-642-04761-9