• Computer Aided Verification
  • Inhaltsangabe

Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang
Beteiligt:
Lahiri, Shuvendu K (Herausgeber); Wang, Chao (Herausgeber)
Ausgabe:
1st ed. 2020
Veröffent­licht:
Cham : Springer International Publishing, 2020
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVIII, 683 Seiten) : 719 illus., 94 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues ; 12225
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Cham : Springer International Publishing, 2020. - ISBN 9783030532901
ISBN:
9783030532918 ; 3030532917 ; 9783030532901 (Sekundärausgabe) ; 9783030532925 (Sekundärausgabe)
DOI:
10.1007/978-3-030-53291-8

Zusatz-Informationen

Zusatz-Funktionen