Kirjat Guillaume Melquiond
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
-35% koodilla BOOKS
Toimittajalla varastossa
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
-35% koodilla BOOKS
Toimittajalla varastossa
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond
-35% koodilla BOOKS
Toimittajalla varastossa