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 Studies in Natural Products Chemistry by

bigCover of the book Soil Health and Intensification of Agroecosystems by

bigCover of the book Coastal Wetlands by

bigCover of the book Advances in Clinical Chemistry by

bigCover of the book Fish Physiology: Muscle Development and Growth by

bigCover of the book A Comprehensive and Practical Guide to Clinical Trials by

bigCover of the book Microsoft Exchange Server 2007 with SP1 by

bigCover of the book Neuroimaging, Part I by

bigCover of the book Automotive Engineering by

bigCover of the book Advanced Array Systems, Applications and RF Technologies by

bigCover of the book From One Winning Career to the Next by

bigCover of the book Gene Therapy: Prospective Technology assessment in its societal context by

bigCover of the book Seismic Exploration of Hydrocarbons in Heterogeneous Reservoirs by

bigCover of the book Coloring Technology for Plastics 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