Computer Arithmetic and Formal Proofs

Verifying Floating-point Algorithms with the Coq System

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, Advanced Computing, Computer Science
Big bigCover of Computer Arithmetic and Formal Proofs

More books from Elsevier Science

bigCover of the book A Complete Guide to Quality in Small-Scale Wine Making by
bigCover of the book Ultrasmall Lanthanide Oxide Nanoparticles for Biomedical Imaging and Therapy by
bigCover of the book Securing Social Media in the Enterprise by
bigCover of the book Future Climates of the World by
bigCover of the book The Engineer's Guide to Plant Layout and Piping Design for the Oil and Gas Industries by
bigCover of the book Mitochondrial Function, Part B by
bigCover of the book Adiabatic Shear Localization by
bigCover of the book Elementary Linear Programming with Applications by
bigCover of the book Iron Ore by
bigCover of the book Theoretical Physics and Astrophysics by
bigCover of the book Pretreatment of Biomass by
bigCover of the book RNA Methodologies by
bigCover of the book Securing the Internet of Things by
bigCover of the book Nitric Oxide and Signaling in Plants by
bigCover of the book Nerves and Nerve Injuries 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