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 Fatigue of Textile Composites by

bigCover of the book Handbook of Medical Imaging by

bigCover of the book Education and Training for the Oil and Gas Industry: Case Studies in Partnership and Collaboration by

bigCover of the book Biology at the Single Molecule Level by

bigCover of the book Computational Fluid Dynamics by

bigCover of the book Scene of the Cybercrime by

bigCover of the book Studies in Natural Products Chemistry by

bigCover of the book Sharing Data and Models in Software Engineering by

bigCover of the book History of Functional Analysis by

bigCover of the book Combined Cycle Systems for Near-Zero Emission Power Generation by

bigCover of the book Handbook on the Physics and Chemistry of Rare Earths by

bigCover of the book Protecting Patient Information by

bigCover of the book How to Cheat at Microsoft Vista Administration 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