Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)

High-quality searchable PDF format.

Instant access to your digital purchases. There’s no waiting time, your products are available for download immediately after checkout.

Product Compatibility Our digital products are compatible across a wide range of devices and platforms. Need advice on compatibility? Contact us for assistance.

Customer Assistance Need help or have questions? Our support team is here for you. Contact us at [email protected], and we’ll ensure your experience is smooth and enjoyable.