• Computer Aided Verification
  • *Table of Contents*

*Result*: Computer Aided Verification

*Title*:
Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / edited by Kousha Etessami, Sriram K. Rajamani
*Author/editor-in-chief*:
Etessami, Kousha (Herausgeber); Rajamani, Sriram K (Herausgeber)
*Edition*:
1st ed. 2005
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XVI, 568 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3576
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540272311
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
9783540316862 ; 3540316868 ; --354027231-3 ; --354081281-4 ; 978--354027231-1 (Sekundärausgabe) ; 978--354081281-4 (Sekundärausgabe)
*DOI*:
10.1007/b138445

*Additional information*

*Additional functions*