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 Advances in Heterocyclic Chemistry by

bigCover of the book Neurological Emergencies by

bigCover of the book Microbial Electrochemical and Fuel Cells by

bigCover of the book Cellular Endocrinology in Health and Disease by

bigCover of the book Maternal Substance Abuse and the Developing Nervous System by

bigCover of the book The Geology of the Canary Islands by

bigCover of the book Online Security for the Business Traveler by

bigCover of the book Friction Stir Welding of 2XXX Aluminum Alloys including Al-Li Alloys by

bigCover of the book Neuro-Psychopharmacology by

bigCover of the book Rockslides and Rock Avalanches of Central Asia by

bigCover of the book How the Great Scientists Reasoned by

bigCover of the book High Voltage Test Techniques by

bigCover of the book Cognitive Neuroscience and Psychotherapy by

bigCover of the book Coastal Wetlands by

bigCover of the book Advances in Carbohydrate Chemistry and Biochemistry 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