Del 14216
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Häftad, Engelska, 2023
Del 14216 i serien Lecture Notes in Computer Science
826 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 14216
Del 14215
- Nyhet
Del 2
- Nyhet
Del 7
- Nyhet
- Signerad!
- -22%
Del 2
- -30%
- 4 för 3
Del 1