Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

Weitere Versionen (2)
Gespeichert in:
Hauptverfasser:
Gurfinkel, Arie (HerausgeberIn), Ganesh, Vijay (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer Nature Switzerland Imprint: Springer 2024
Ausgabe:
1st ed. 2024
Umfang:
1 Online-Ressource (XXV, 582 p. 186 illus., 143 illus. in color)
text file PDF
ISBN:
9783031656330
ISSN:
1611-3349
DOI:
10.1007/978-3-031-65633-0
Schlagworte:
Software engineering
Artificial intelligence
Algorithms
Bezugswerke:
Links: