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

Boldo, Sylvie/ Melquiond, Guillaume

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

From Revaluation Books, Exeter, United Kingdom

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

AbeBooks Seller since January 6, 2003

View this seller's items


New - Hardcover

Price: US$ 181.35 Convert Currency
US$ 13.53 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 2 available

Add to basket