Computer Aided Verification -

Computer Aided Verification

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

Arie Gurfinkel, Vijay Ganesh (Herausgeber)

Buch | Softcover
XXXIII, 498 Seiten
2024
Springer International Publishing (Verlag)
978-3-031-65626-2 (ISBN)
42,79 inkl. MwSt

This open access 3-volume set 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.

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XXXIII, 498 p. 133 illus., 110 illus. in color.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Schlagworte Applications • Computer Science • conference proceedings • Informatics • open access • Research
ISBN-10 3-031-65626-1 / 3031656261
ISBN-13 978-3-031-65626-2 / 9783031656262
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …

von Yuval Noah Harari

Buch | Hardcover (2024)
Penguin (Verlag)
28,00