Treffer: Computer Aided Verification

Titel:
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / 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 (XXIV, 922 Seiten) : 287 illus., 171 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues ; 12759
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Cham : Springer International Publishing, 2021. - ISBN 9783030816841
ISBN:
9783030816858 ; 3030816850 ; 9783030816841 (Sekundärausgabe) ; 9783030816865 (Sekundärausgabe)
DOI:
10.1007/978-3-030-81685-8

Zusatz-Informationen

Zusatz-Funktionen