• Automated Technology for Verif...
  • Bestand

Treffer: Automated Technology for Verification and Analysis

Titel:
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings / edited by Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Beteiligt:
Namjoshi, Kedar (Herausgeber); Yoneda, Tomohiro (Herausgeber); Higashino, Teruo (Herausgeber); Okamura, Yoshio (Herausgeber)
Ausgabe:
1st ed. 2007
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 570 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4762
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Automated Technology for Verification and Analysis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540755951
Schlagworte:
ISBN:
9783540755968 ; 3540755969 ; 978--354075595-1 (Sekundärausgabe) ; 978--354084493-8 (Sekundärausgabe)
DOI:
10.1007/978-3-540-75596-8

Zusatz-Informationen

Zusatz-Funktionen