Treffer: Computer Aided Verification
Titel:
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Thomas Ball, Robert B. Jones
Ausgabe:
1st ed. 2006
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XV, 564 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 4144
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540374060
Schlagworte:
ISBN:
9783540374114 ; 3540374116 ; --354037406-X ; --354082782-X ; 978--354037406-0 (Sekundärausgabe) ; 978--354082782-5 (Sekundärausgabe)
DOI:
10.1007/11817963