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 I
deliverable within 2-3 weeks (if available from supplier)
Current price: EUR 142.37
Shipping
(United States of America): EUR 19.90
- Publisher:
- S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
- Publisher:
- Springer, 02/2025
- Binding:
- Kartoniert / Broschiert
- Language:
- Englisch
- ISBN-13:
- 9783031787089
- Item number:
- 12178989
- Volume:
- 324 Pages
- Weight:
- 493 g
- Format:
- 235 x 155 mm
- Thickness:
- 18 mm
- Release date:
- 1.2.2025
- Note
-
Caution: Product is not in German language
Other releases of Automated Technology for Verification and Analysis |
Price |
|---|---|
| Buch, Kartoniert / Broschiert, Englisch | EUR 164.28* |
Blurb
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
Current price: EUR 142.37
