Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran
Verantwortlich:
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 (XX, 549 Seiten) : 1209 illus., 42 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues ; 11562
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Cham : Springer International Publishing, 2019. - ISBN 9783030255428
ISBN:
9783030255435 ; 3030255433 ; 9783030255428 (Sekundärausgabe) ; 9783030255442 (Sekundärausgabe)
DOI:
10.1007/978-3-030-25543-5

Zusatz-Informationen

Zusatz-Funktionen