Computer Arithmetic and Formal Proofs

Verifying Floating-point Algorithms with the Coq System

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, Advanced Computing, Computer Science

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Computer Arithmetic and Formal Proofs

More books from Elsevier Science

bigCover of the book Non-alcoholic Beverages by

bigCover of the book Supercritical Fluids as Solvents and Reaction Media by

bigCover of the book Advances in Heterocyclic Chemistry by

bigCover of the book Mathematical Statistics with Applications in R by

bigCover of the book New Approaches to Aortic Diseases from Valve to Abdominal Bifurcation by

bigCover of the book Handbook of Stable Isotope Analytical Techniques Vol II by

bigCover of the book Rivers of North America by

bigCover of the book Advances in Physical Organic Chemistry by

bigCover of the book Infection and Autoimmunity by

bigCover of the book Heavy and Extra-heavy Oil Upgrading Technologies by

bigCover of the book Personnel Protection: Advance Procedures by

bigCover of the book The Grouting Handbook by

bigCover of the book International Review of Research in Mental Retardation by

bigCover of the book Rational Constructivism in Cognitive Development by

bigCover of the book Food and Beverage Stability and Shelf Life by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy