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 Occupational Health Practice by

bigCover of the book Antioxidant and Redox Regulation of Genes by

bigCover of the book Mechanical Alloying by

bigCover of the book Hormones and Breast Cancer by

bigCover of the book The Corresponding-States Principle and its Practice by

bigCover of the book Advanced Natural Gas Engineering by

bigCover of the book The Zebrafish: Cellular and Developmental Biology, Part A Cellular Biology by

bigCover of the book Nitrogen, the Confer-N-s by

bigCover of the book Libraries and Society by

bigCover of the book Palladium-Catalyzed Modification of Nucleosides, Nucleotides and Oligonucleotides by

bigCover of the book Pyridines: From Lab to Production by

bigCover of the book Signals and Systems for Bioengineers by

bigCover of the book Advances in Food and Nutrition Research 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