Computer Aided Verification, Kartoniert / Broschiert
Computer Aided Verification
Buch
- 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 43,80
- Herausgeber:
- Zvonimir Rakamari¿, Ruzica Piskac
- Verlag:
- Springer Nature Switzerland, 07/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031986789
- Artikelnummer:
- 12373679
- Umfang:
- 452 Seiten
- Gewicht:
- 680 g
- Maße:
- 235 x 155 mm
- Stärke:
- 25 mm
- Erscheinungstermin:
- 22.7.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.
The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions.
The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.
Computer Aided Verification
Aktueller Preis: EUR 43,80
