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

Sylvie Boldo

ISBN 10: 1785481126 ISBN 13: 9781785481123
Published by Elsevier Science, 2017
Language: English
New Condition: Neu Hardcover

From AHA-BUCH GmbH, Einbeck, Germany

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

AbeBooks Seller since August 14, 2006

View this seller's items


New - Hardcover

Price: US$ 181.30 Convert Currency
US$ 36.07 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 2 available

Add to basket