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 Food Chain Integrity by

bigCover of the book High Performance Polymers by

bigCover of the book Advances in Heat Transfer by

bigCover of the book Molecular Biological Markers for Toxicology and Risk Assessment by

bigCover of the book International Edition University Physics by

bigCover of the book Adolescent Brain Development by

bigCover of the book Readings from the Treatise on Geochemistry by

bigCover of the book Fluoroelastomers Handbook by

bigCover of the book Adiabatic Fixed-Bed Reactors by

bigCover of the book The Management of Scientific Integrity within Academic Medical Centers by

$bigCover of the book Diffraction Physics by$

bigCover of the book Electronic and Algorithmic Trading Technology by

bigCover of the book Nanostructures for Antimicrobial Therapy by

bigCover of the book Superplasticity and Grain Boundaries in Ultrafine-Grained Materials by

bigCover of the book Private Philanthropic Trends in Academic Libraries 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