Books by Guillaume Melquiond
No products found matching the selection.
-30%
Handbook of Floating-Point Arithmetic
Nathalie Revol, Mioara Joldes, Nicolas Brunie, Serge Torres, Jean-Michel Muller, Guillaume Melquiond, Florent De Dinechin, Vincent Lefèvre, Claude-Pierre Jean
€194.03
€277.18
-30% with code BOOKS
In stock at our supplier
-30%
Handbook of Floating-Point Arithmetic
Nathalie Revol, Mioara Joldes, Nicolas Brunie, Serge Torres, Jean-Michel Muller, Guillaume Melquiond, Florent De Dinechin, Vincent Lefèvre, Claude-Pierre Jean
€194.03
€277.18
-30% with code BOOKS
In stock at our supplier
-30%
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond
€219.74
€313.92
-30% with code BOOKS
In stock at our supplier