Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran
Beteiligt:
Dillig, Isil (Herausgeber); Tasiran, Serdar (Herausgeber)
Ausgabe:
1st ed. 2019
Veröffent­licht:
Cham : Springer International Publishing, 2019
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIX, 673 Seiten) : 1003 illus., 106 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues ; 11561
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Cham : Springer International Publishing, 2019. - ISBN 9783030255398
ISBN:
9783030255404 ; 3030255409 ; 9783030255398 (Sekundärausgabe) ; 9783030255411 (Sekundärausgabe)
DOI:
10.1007/978-3-030-25540-4

Zusatz-Informationen

Zusatz-Funktionen