Sale!

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

View in last 24h: 3

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

ISBN-13: 9781785481123

Publisher: Elsevier

Author: Sylvie Boldo, Guillaume Melquiond

Language: English

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

Original price was: $148.00.Current price is: $19.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.

COMPATIBLE DEVICES:

Version: PDF. It can be permanently stored and read on any device

QUALITY:

High Quality. No missing contents. Printable.

DOWNLOAD:

The Download Link will be automatically sent to your Email immediately after you complete the payment.

  • In some cases related to the email system, emails sending download links to you may be listed as spam or blocked by your email system.
  • If you do not receive an email with the product download link, please check your spam folder. If you still do not receive an email from us, please contact us. We will contact and assist you immediately.
  • Thank you for shopping with us
  • Have a good day

ISBN-13: 9781785481123

Publisher: Elsevier

Author: Sylvie Boldo, Guillaume Melquiond

Language: English

Based on 2 reviews
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)