Guillaume Melquiond – författare

Visar alla böcker från författaren .

3 produkter

Kategorier

3 produkter

Sylvie Boldo, Guillaume Melquiond - Computer Arithmetic and Formal Proofs, Inbunden

Computer Arithmetic and Formal Proofs

Verifying Floating-point Algorithms with the Coq System

AvSylvie Boldo,Guillaume Melquiond

Inbunden, Engelska, 2017

2 169 kr

Skickas inom 10-15 vardagar

Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres - Handbook of Floating-Point Arithmetic, Häftad

Handbook of Floating-Point Arithmetic

AvJean-Michel Muller,Nicolas Bruniem. fl.

Häftad, Engelska, 2019

2 089 kr

Skickas inom 10-15 vardagar

Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres - Handbook of Floating-Point Arithmetic, Inbunden

Handbook of Floating-Point Arithmetic

AvJean-Michel Muller,Nicolas Bruniem. fl.

Inbunden, Engelska, 2018

2 089 kr

Skickas inom 10-15 vardagar