Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Seiten
2024
|
2024
Springer International Publishing (Verlag)
978-3-031-65626-2 (ISBN)
Springer International Publishing (Verlag)
978-3-031-65626-2 (ISBN)
- Noch nicht erschienen - erscheint am 04.09.2024
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
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.
Erscheint lt. Verlag | 4.9.2024 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | Approx. 500 p. |
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 |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was sie kann & was uns erwartet
Buch | Softcover (2023)
C.H.Beck (Verlag)
18,00 €
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz
Buch | Softcover (2023)
Heyne (Verlag)
20,00 €