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 Hormones and Reproduction of Vertebrates, Volume 4 by

bigCover of the book Composite Structures by

bigCover of the book When Culture Impacts Health by

bigCover of the book Advances in Experimental Social Psychology by

bigCover of the book Sarbanes-Oxley Compliance Using COBIT and Open Source Tools by

bigCover of the book Circular Economy in Textiles and Apparel by

bigCover of the book Mineral Exploration by

bigCover of the book Proceedings of the 31st International Conference on High Energy Physics ICHEP 2002 by

bigCover of the book The Future of Drug Discovery by

bigCover of the book The Chemistry and Biology of Nitroxyl (HNO) by

bigCover of the book Natural Products and Cancer Signaling: Isoprenoids, Polyphenols and Flavonoids by

bigCover of the book Handbook of Blind Source Separation 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