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 - Programming
Computer Aided Verification 26th International Conference CAV 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 18 22 2014 Proceedings 1st Edition by Armin Biere, Roderick Bloem 3319088661 9783319088662
Username or email address *
Password *
Remember me Log in
Lost your password?
