Free Preview of Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
$132.99
Price reduced from
$166.00
to
Online pricing. Prices and offers may vary in store.
Ship to me
Checking availability…
Buy now & pick up in store
Checking availability…
Find it in store
Checking availability…
Earn null points and enjoy extra savings with plum+. Learn more
Overview
Publisher: Elsevier Science
Shipping dimensions: null
ISBN: 9780081011706
Life stage: null
Ratings & Reviews
Editorial reviews
Others Also Bought
-
-
-
-
-
-
-
-
-
-
-
Valerie Deplano HardcoverBiological Flow in Large Vessels: Dialog between Numerical Modeling and In Vitro/In Vivo Experiments
$197.992 formats available -
-
-
-
-
eBooks from Indigo are available at Kobo.com
Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.
Why Kobo?
With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.
Computer Arithmetic And Formal Proofs: Verifying Floating-point Algorithms With The Coq System
/en-ca/computer-arithmetic-and-formal-proofs-verifying-floating-point-algorithms-with-the-coq-system/C4F46F28-0C7D-4CC8-9669-651F9436F755.html
C4F46F28-0C7D-4CC8-9669-651F9436F755
Computer Arithmetic And Formal Proofs: Verifying Floating-point Algorithms With The Coq System
https://dynamic.indigoimages.ca/v1/books/books/1785481126/1.jpg
259.5
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/f2a60e5b-c32c-4df3-8b88-ec2a0791160a/300/300/False/image.jpg
166.0