Automated Technology for Verification and Analysis, Kartoniert / Broschiert
Automated Technology for Verification and Analysis
Buch
- 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 89,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:
- Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan
- Verlag:
- Springer, 10/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032087065
- Artikelnummer:
- 12453280
- Umfang:
- 492 Seiten
- Gewicht:
- 739 g
- Maße:
- 235 x 155 mm
- Stärke:
- 27 mm
- Erscheinungstermin:
- 26.10.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.
The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.
Automated Technology for Verification and Analysis
Aktueller Preis: EUR 89,80
