Computer Aided Verification, Kartoniert / Broschiert
Computer Aided Verification
Buch
- 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
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:
- 9783031986840
- Artikelnummer:
- 12380389
- Umfang:
- 448 Seiten
- Gewicht:
- 674 g
- Maße:
- 235 x 155 mm
- Stärke:
- 25 mm
- Erscheinungstermin:
- 23.7.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Computer Aided Verification |
Preis |
|---|---|
| Buch, Kartoniert / Broschiert, Englisch | EUR 43,80* |
| Buch, Kartoniert / Broschiert, Englisch | EUR 43,80* |
| Buch, Kartoniert / Broschiert, Englisch | EUR 43,80* |
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
