• Computer Aided Verification
  • Beschreibung

Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino
Beteiligt:
Silva, Alexandra (Herausgeber) ; Leino, K. Rustan M. (Herausgeber) 
Ausgabe:
1st ed. 2021
Veröffent­licht:
Cham : Springer International Publishing, 2021
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXIII, 940 Seiten) : 382 illus., 234 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues ; 12760
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Cham : Springer International Publishing, 2021. - ISBN 9783030816872
ISBN:
9783030816889 ; 3030816885 ; 9783030816872 (Sekundärausgabe) ; 9783030816896 (Sekundärausgabe)
DOI:
10.1007/978-3-030-81688-9

Zusatz-Informationen

Zusatz-Funktionen