Lecture Notes in Computer Science Automated Technology for Verification and Analysis: 23rd International Symposium Atva 2025 Bengaluru India October 2 Book 16145 (Paperback)
Compare buying options
One live offer. The cheapest is new.Set Price Drop
Get an alert as soon as it’s on sale.
Alert set
We’ll let you know when any store drops to your price or lower.
Video reviews
Reviews of this product on YouTube.Just For You
Stores we recommend, with today’s cash back rates.
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop