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 Alpha-, Beta- and Gamma-Ray Spectroscopy by

bigCover of the book Glycosylation and Cancer by

bigCover of the book High Temperature Polymer Blends by

bigCover of the book Biochemical Engineering and Biotechnology by

bigCover of the book The Finite Element Method in Engineering by

bigCover of the book Fullerens, Graphenes and Nanotubes by

bigCover of the book Chemical Engineering by

bigCover of the book Morphing Wing Technologies by

bigCover of the book Surface Production Operations: Vol 2: Design of Gas-Handling Systems and Facilities by

bigCover of the book Advances in Analog and RF IC Design for Wireless Communication Systems by

bigCover of the book Advances in Molecular Toxicology by

bigCover of the book Lasers for Medical Applications by

bigCover of the book Neutron and X-ray Optics 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