Computer Aided Verification, Kartoniert / Broschiert
Computer Aided Verification
Buch
- 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 43,80
Verlängerter Rückgabezeitraum bis 31. Januar 2026
Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Arie Gurfinkel, Vijay Ganesh
- Verlag:
- Springer, 07/2024
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783031656293
- Artikelnummer:
- 11929425
- Umfang:
- 456 Seiten
- Gewicht:
- 686 g
- Maße:
- 235 x 155 mm
- Stärke:
- 25 mm
- Erscheinungstermin:
- 25.7.2024
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Computer Aided Verification |
Preis |
|---|
Klappentext
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.
Computer Aided Verification
Aktueller Preis: EUR 43,80
