Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)

Price comparison
free shipping
go to shop
$ 84.99
see shop
go to shop
No products found.