• Computer Aided Verification
  • Bestand

Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / edited by Kousha Etessami, Sriram K. Rajamani
Beteiligt:
Etessami, Kousha (Herausgeber); Rajamani, Sriram K (Herausgeber)
Ausgabe:
1st ed. 2005
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 568 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3576
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540272311
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540316862 ; 3540316868 ; --354027231-3 ; --354081281-4 ; 978--354027231-1 (Sekundärausgabe) ; 978--354081281-4 (Sekundärausgabe)
DOI:
10.1007/b138445

Zusatz-Informationen

Zusatz-Funktionen