کتاب های Guillaume Melquiond
![Handbook of Floating-Point Arithmetic](http://cdn.ketabkoo.com/covers/0/93930-n.jpg)
Handbook of Floating-Point Arithmetic
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres (auth.), 2010![Handbook of floating-point arithmetic](http://cdn.ketabkoo.com/covers/0/93931-n.jpg)
Handbook of floating-point arithmetic
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres (auth.), 2010![Handbook of Floating-Point Arithmetic](http://cdn.ketabkoo.com/covers/0/93932-n.jpg)
Handbook of Floating-Point Arithmetic
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres (auth.), 2010![Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)](http://cdn.ketabkoo.com/covers/13/1342054-n.jpg)