• Computer Aided Verification
  • Bestand

Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson
Verantwortlich:
Touili, Tayssir (Herausgeber); Cook, Byron (Herausgeber); Jackson, Paul (Herausgeber)
Ausgabe:
1st ed. 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 676 Seiten) : 169 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 6174
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642142949
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642142956 ; 3642142958 ; 978--364214294-9 (Sekundärausgabe) ; 978--364214296-3 (Sekundärausgabe)
DOI:
10.1007/978-3-642-14295-6

Zusatz-Informationen

Zusatz-Funktionen