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 Autophagy: Cancer, Other Pathologies, Inflammation, Immunity, Infection, and Aging by

bigCover of the book Advances in the Study of Behavior by

bigCover of the book Predictive Analytics and Data Mining by

bigCover of the book Microbiorobotics by

bigCover of the book Reliability Investigation of LED Devices for Public Light Applications by

bigCover of the book Advances in Applied Mechanics by

bigCover of the book Managing Global Warming by

bigCover of the book Neutron Scattering from Magnetic Materials by

bigCover of the book The IT / Digital Legal Companion by

bigCover of the book Medical Microbiology Illustrated by

bigCover of the book Artificial Photosynthesis by

bigCover of the book Space Safety Regulations and Standards by

bigCover of the book Bioinformatics in Human Health and Heredity 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