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 Nonlinear Partial Differential Equations and Their Applications by

bigCover of the book Bioprocessing for Value-Added Products from Renewable Resources by

bigCover of the book Handbook of the Equity Risk Premium by

bigCover of the book Photoreceptor Cells by

bigCover of the book Transliteracy in Complex Information Environments by

bigCover of the book Interfacing PIC Microcontrollers by

bigCover of the book Annual Reports on NMR Spectroscopy by

bigCover of the book Solid-State Hydrogen Storage by

bigCover of the book Economic Evaluation in Genomic Medicine by

bigCover of the book Manufacturing of Nanocomposites with Engineering Plastics by

bigCover of the book Solid-Liquid Two Phase Flow by

bigCover of the book International Review of Cell and Molecular Biology by

bigCover of the book Corrosion and its Consequences for Reinforced Concrete Structures by

bigCover of the book Computational Materials Engineering 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