• Computer Aided Verification

*Result*: Computer Aided Verification

*Title*:
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / edited by Werner Damm, Holger Hermanns
*Author/editor-in-chief*:
Damm, Werner (Herausgeber); Hermanns, Holger (Herausgeber)
*Edition*:
1st ed. 2007
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XV, 562 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 4590
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540733676
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
9783540733683 ; 354073368X ; 978--354073367-6 (Sekundärausgabe) ; 978--354084023-7 (Sekundärausgabe)
*DOI*:
10.1007/978-3-540-73368-3

*Additional information*

*Additional functions*