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

Boldo, Sylvie

ISBN 10: 1785481126 ISBN 13: 9781785481123
Published by ISTE Press - Elsevier, 2017
Language: English
New Condition: new Hardcover

From Brook Bookstore On Demand, Napoli, NA, Italy

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since October 11, 2022

View this seller's items


New - Hardcover

Price: US$ 155.67 Convert Currency
US$ 7.75 shipping from Italy to U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket