Signup for our newsletter to get notified about sales and new products. Add any text here or remove it.
No products in the cart.
Return to shop
Showing the single result
Computers
Computer Aided Verification 30th International Conference CAV 2018 Held as Part of the Federated Logic Conference FloC 2018 Oxford UK July 14 17 2018 Proceedings Part II 1st edition by Hana Chockler, Georg Weissenbacher 3319961446 9783540705451
Username or email address *
Password *
Remember me Log in
Lost your password?
