Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Seiten
2024
|
2024
Springer International Publishing (Verlag)
978-3-031-65632-3 (ISBN)
Springer International Publishing (Verlag)
978-3-031-65632-3 (ISBN)
- Noch nicht erschienen - erscheint am 05.09.2024
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
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.
Erscheint lt. Verlag | 5.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-65632-6 / 3031656326 |
ISBN-13 | 978-3-031-65632-3 / 9783031656323 |
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 €