Computer Aided Verification

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

Arie Gurfinkel, Vijay Ganesh (Herausgeber)

Buch | Softcover

XXV, 582 Seiten

2024
Springer International Publishing (Verlag)
9783031656323 (ISBN)

Infos

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.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

Produkt-Details

• Erscheinungsdatum: 27.07.2024
• Reihe/Serie: Lecture Notes in Computer Science
• Zusatzinfo: XXV, 582 p. 186 illus., 143 illus. in color.
• Verlagsort: Cham
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Schlagworte: Applications • Computer Science • conference proceedings • Informatics • open access • Research
• ISBN-13: 9783031656323 / 9783031656323
• Zustand: Neuware