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

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 14682Verlag: Cham : Springer Nature Switzerland, 2024Verlag: Cham : Imprint: Springer, 2024Auflage: 1st ed. 2024Beschreibung: 1 Online-Ressource(XXV, 430 p. 127 illus., 95 illus. in color.)ISBN:

9783031656309

Schlagwörter:

Andere physische Formen: 9783031656293 | 9783031656316 | Erscheint auch als: 9783031656293 Druck-Ausgabe | Erscheint auch als: 9783031656316 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-65630-9Online-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: 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

Exemplare ( 0 )
Titelinformationen ( 1 )

Dieser Titel hat keine Exemplare

Open Access