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 Science
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) Sylvie Boldo
Username or email address *
Password *
Remember me Log in
Lost your password?
