Books by Sylvie Boldo
No products found matching the selection.
-20%
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond
€251.14
€313.92
-20% with code BOOKS
In stock at our supplier
-20%
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate, Sylvie Boldo
€85.04
€106.30
-20% with code BOOKS
In stock at our supplier