• Automated Technology for Verif...
  • Bestand

Treffer: Automated Technology for Verification and Analysis

Titel:
Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings / edited by Dang Van Hung, Mizuhito Ogawa
Verantwortlich:
Van Hung, Dang (Herausgeber); Ogawa, Mizuhito (Herausgeber)
Ausgabe:
1st ed. 2013
Veröffent­licht:
Cham : Springer International Publishing, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 528 Seiten) : 115 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 8172
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Automated Technology for Verification and Analysis. - Cham : Springer International Publishing, 2013. - ISBN 9783319024431
ISBN:
9783319024448 ; 3319024442 ; 978--331902443-1 (Sekundärausgabe) ; 978--331902445-5 (Sekundärausgabe)
DOI:
10.1007/978-3-319-02444-8

Zusatz-Informationen

Zusatz-Funktionen