Ebook – Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (PDF Instant Download)

Original price was: $148.00.Current price is: $18.99.

Ebook – Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (PDF Instant Download)

Original price was: $148.00.Current price is: $18.99.

Please note this is an Ebook, not a Paperback Or Audio Book!

Guaranteed safe and secure checkout via:
Paypal | VISA | MASTERCARD.

Secure payment with SSL Encryption.

If you're not satisfied, let us know and we'll make it right.