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 Introduction to Aircraft Structural Analysis by

bigCover of the book Simulation Modeling and Analysis with ARENA by

bigCover of the book Antiviral Nucleosides by

bigCover of the book Nanobiomaterials in Clinical Dentistry by

bigCover of the book Skew-Tolerant Circuit Design by

bigCover of the book Parasitic Protozoa by

bigCover of the book Advances in Catalysis by

bigCover of the book Communications for Control in Cyber Physical Systems by

bigCover of the book Handbook of Serial Communications Interfaces by

bigCover of the book The Omega-Theory by

bigCover of the book Corrosion Under Insulation (CUI) Guidelines by

bigCover of the book Up and Running with Autodesk Inventor Simulation 2011 by

bigCover of the book External Quality Audit by

bigCover of the book Cell Volume Regulation 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