Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / edited by Werner Damm, Holger Hermanns
Beteiligt:
Damm, Werner (Herausgeber); Hermanns, Holger (Herausgeber)
Ausgabe:
1st ed. 2007
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XV, 562 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 4590
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540733676
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540733683 ; 354073368X ; 978--354073367-6 (Sekundärausgabe) ; 978--354084023-7 (Sekundärausgabe)
DOI:
10.1007/978-3-540-73368-3

Zusatz-Informationen

Zusatz-Funktionen