[PDF.12xl] Computer Arithmetic and Formal Proofs: Floating-point Algorithms with the Coq System

Computer Arithmetic and Formal Proofs: Floating-point Algorithms with the Coq System

[PDF.sw45] Computer Arithmetic and Formal Proofs: Floating-point Algorithms with the Coq System

Computer Arithmetic and Formal  Sylvie Boldo, Guillaume Melquiond epub
Computer Arithmetic and Formal  Sylvie Boldo, Guillaume Melquiond pdf download
Computer Arithmetic and Formal  Sylvie Boldo, Guillaume Melquiond pdf file
Computer Arithmetic and Formal  Sylvie Boldo, Guillaume Melquiond audiobook
Computer Arithmetic and Formal  Sylvie Boldo, Guillaume Melquiond book review
Computer Arithmetic and Formal  Sylvie Boldo, Guillaume Melquiond summary

 | #5475955 in Books |  2017-12-15 | Original language:English |  9.02 x1.34 x5.98l,.0 | File type: PDF | 353 pages

---

||About the Author|Sylvie Boldo obtained a Ph Dat ENS Lyon in 2005, since she is a researcher at Inria.

Guillaume Melquiond is a researcher at Inria since 2008 and obtained his PhD in computer science at ENS in Lyon.

Computer Arithmetic and Formal Proofs: Floating-point Algorithms with the Coq System explores floating-point arithmetic, a tool that is ubiquitous in modern computing as the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and cause numerous failures. This book explains how to avoid this and increase confidence in floating-point software by using the computer-assisted verification of correctne...

You easily download any file type for your gadget.Computer Arithmetic and Formal Proofs: Floating-point Algorithms with the Coq System   |  Sylvie Boldo, Guillaume Melquiond. I really enjoyed this book and have already told so many people about it!

Read Online Now