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 Are We Safe Enough? by

bigCover of the book Food Plant Safety by

bigCover of the book TV White Space Communications and Networks by

bigCover of the book Parallel Computing: Fundamentals, Applications and New Directions by

bigCover of the book Natural Product Biosynthesis by Microorganisms and Plants Part B by

bigCover of the book Economic Disturbances and Equilibrium in an Integrated Global Economy by

bigCover of the book Developmental Signaling in Plants by

bigCover of the book A Practical Handbook of Preparative HPLC by

bigCover of the book Progress in Medicinal Chemistry by

bigCover of the book Risk Management for Food Allergy by

bigCover of the book Indoor Navigation Strategies for Aerial Autonomous Systems by

bigCover of the book Electrofluidodynamic Technologies (EFDTs) for Biomaterials and Medical Devices by

bigCover of the book Irregular Shape Anchor in Cohesionless Soils by

bigCover of the book Emerging Technologies for Librarians by

bigCover of the book Annual Reports on NMR Spectroscopy 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