Elsevier
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
Edition: 1st Edition
Subjects: Maths & Science,
Physics
ISBN13: 9781785481123
Published: 16 Nov 2017
Format - Hardback
The release of this order may delay up to 4-6 weeks due to congestion at publisher’s warehouse.
Regular price
A$238.29
Sale price
A$238.29
Regular price
A$245.66
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
Regular price
A$238.29
Sale price
A$238.29
Regular price
A$245.66
Product description
Shipping & Return
Shipping cost is based on weight. Just add products to your cart and use the Shipping Calculator to see the shipping price.
We want you to be 100% satisfied with your purchase. Items can be returned or exchanged within 30 days of delivery.