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

Name: Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)
SKU: isbn-9781785481123
Price: 9969.30 INR
Availability: InStock
ISBN: 9781785481123

By Melquiond, Guillaume, Boldo, SylvieISTE Press Ltd - Elsevier Inc

₹9,969.3

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Genuine BookPhysical copy only

Available Offers

🚚Free Delivery — Free shipping on all orders
💵Cash on Delivery — Pay when your order arrives
↩️15-Day Easy Returns — Hassle-free return policy
🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Product Description

By Melquiond, Guillaume, Boldo, Sylvie. Published by ISTE Press Ltd - Elsevier Inc. Format: Hardcover. Edition: 1. 326 pages. Language: english. Published: 2017-11-16.

Book Specifications

ISBN-13	9781785481123
ISBN-10	1785481126
Publisher	ISTE Press Ltd - Elsevier Inc
Language	english
Print Length	326 pages
Category	Computers & Internet

Frequently Asked Questions

What is the price of Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System?

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System is available at ₹9,969.3 on BookShops.in.

Does BookShops.in offer free delivery for Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System?

FREE delivery on all orders for Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System.

Is Cash on Delivery available for Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System?

Yes, Cash on Delivery (COD) is available for Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System on BookShops.in. Pay when your order arrives.

What is the return policy for Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System?

BookShops.in offers a 15-day hassle-free return policy for Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System. Contact us at [email protected] or call +91 81899 68108.

Is Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System authentic?

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System is listed on BookShops.in after verification of product details including ISBN, title, and availability information.