• 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 I / 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 (XVII, 669 Seiten) : 616 illus., 117 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues ; 12224
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Aided Verification. - Cham : Springer International Publishing, 2020. - ISBN 9783030532871
ISBN:
9783030532888 ; 3030532887 ; 9783030532871 (Sekundärausgabe) ; 9783030532895 (Sekundärausgabe)
DOI:
10.1007/978-3-030-53288-8

Zusatz-Informationen

Zusatz-Funktionen