Custom cover image
Custom cover image

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II / edited by Arie Gurfinkel, Vijay Ganesh

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 14682Publisher: Cham : Springer Nature Switzerland, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XXV, 430 p. 127 illus., 95 illus. in color.)ISBN:
  • 9783031656309
Subject(s): Additional physical formats: 9783031656293 | 9783031656316 | Erscheint auch als: 9783031656293 Druck-Ausgabe | Erscheint auch als: 9783031656316 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-65630-9Online resources: Summary: This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.PPN: PPN: 1896936121Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC | ZDB-2-SOB
No physical items for this record

Open Access

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT