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 Control System Design Guide by

bigCover of the book WISC-IV Clinical Assessment and Intervention by

bigCover of the book How to Validate a Pharmaceutical Process by

bigCover of the book Equations of State and PVT Analysis by

bigCover of the book New and Future Developments in Catalysis by

bigCover of the book Developmental Biology and Musculoskeletal Tissue Engineering by

bigCover of the book Vehicle Noise and Vibration Refinement by

bigCover of the book Solid Waste: Assessment, Monitoring and Remediation by

bigCover of the book Active Coatings for Smart Textiles by

bigCover of the book Economic Evaluation of Pharmacy Services by

bigCover of the book Optical Interconnects for Data Centers by

bigCover of the book The Psychology of Learning and Motivation by

bigCover of the book Securing SQL Server by

bigCover of the book Guidance Molecules in Cancer and Tumor Angiogenesis by

bigCover of the book Introduction to WinBUGS for Ecologists 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