Filter

Showing 471–471 of 5633 results

Sale!
Add to Wishlist
+
 Quick View

2022

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings eBook

eText ISBN: 9783540883876 Original price was: $54.99.Current price is: $11.00.