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 The Physiological Basis of Rehabilitation Medicine by

bigCover of the book Integrating ISA Server 2006 with Microsoft Exchange 2007 by

bigCover of the book Excellence in the Stacks by

bigCover of the book Distributed Information Resources by

bigCover of the book Supercritical Fluids and Organometallic Compounds by

bigCover of the book The Role of Products of the Histocompatibility Gene Complex in Immune Responses by

bigCover of the book Ultracold Bosonic and Fermionic Gases by

bigCover of the book Introduction to Data Compression by

bigCover of the book Fluorescence Microscopy by

bigCover of the book Asymptotic Theory of Supersonic Viscous Gas Flows by

bigCover of the book Leptons and Quarks by

bigCover of the book Advances in Radiation Biology by

bigCover of the book Mid-Career Library and Information Professionals by

bigCover of the book Novel Carbon Adsorbents 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