Filter

Showing 91–91 of 478 results

Sale!
Add to Wishlist
+
 Quick View

2022

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings eBook

eText ISBN: 9783642314247 Original price was: $54.99.Current price is: $9.00.