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
Dieser Titel hat keine Exemplare
Open Access