• Computer Aided Verification
  • Bestand

Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / edited by Natasha Sharygina, Helmut Veith
Verantwortlich:
Sharygina, Natasha (Herausgeber); Veith, Helmut (Herausgeber)
Ausgabe:
1st ed. 2013
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXII, 1015 Seiten) : 237 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 8044
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642397981
Schlagworte:
ISBN:
9783642397998 ; 3642397999 ; 978--364239798-1 (Sekundärausgabe) ; 978--364239800-1 (Sekundärausgabe)
DOI:
10.1007/978-3-642-39799-8

Zusatz-Informationen

Zusatz-Funktionen