Automated Technology for Verification and Analysis, Kartoniert / Broschiert
Automated Technology for Verification and Analysis
Buch
- 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 164,28
- Herausgeber:
- S. Akshay, Sriram Sankaranarayanan, Aina Niemetz
- Verlag:
- Springer Nature Switzerland, 02/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031787492
- Artikelnummer:
- 12187357
- Umfang:
- 296 Seiten
- Gewicht:
- 452 g
- Maße:
- 235 x 155 mm
- Stärke:
- 17 mm
- Erscheinungstermin:
- 12.2.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Automated Technology for Verification and Analysis |
Preis |
|---|---|
| Buch, Kartoniert / Broschiert, Englisch | EUR 142,37* |
Klappentext
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:
Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.
Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.
Automated Technology for Verification and Analysis
Aktueller Preis: EUR 164,28
