Computer Arithmetic and Formal Proofs

Name: Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
Brand: ISTE Press Ltd - Elsevier Inc
SKU: 9781785481123
Price: 10090.00 INR
Availability: InStock

Verifying Floating-point Algorithms with the Coq System

by Guillaume Melquiond, Sylvie Boldo

ISTE Press Ltd - Elsevier Inc · 2017

₹10,090

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System by Guillaume Melquiond & Sylvie Boldo is a 326-page book published by ISTE Press Ltd - Elsevier Inc in 2017.

Topics covered include Proof theory and Algorithms.