Books > Computing & IT > General theory of computing > Data structures
|
Buy Now
Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System (Hardcover)
Loot Price: R3,604
Discovery Miles 36 040
You Save: R378
(9%)
|
|
Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System (Hardcover)
Expected to ship within 12 - 17 working days
|
Floating-point arithmetic is ubiquitous in modern computing, as it
is the tool of choice to approximate real numbers. Due to its
limited range and precision, its use can become quite involved and
potentially lead to numerous failures. One way to greatly increase
confidence in floating-point software is by computer-assisted
verification of its correctness proofs. This book provides a
comprehensive view of how to formally specify and verify tricky
floating-point algorithms with the Coq proof assistant. It
describes the Flocq formalization of floating-point arithmetic and
some methods to automate theorem proofs. It then presents the
specification and verification of various algorithms, from
error-free transformations to a numerical scheme for a partial
differential equation. The examples cover not only mathematical
algorithms but also C programs as well as issues related to
compilation.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.