Guillaume Melquiond – författare

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

3 produkter

Kategorier

3 produkter

Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
AvSylvie Boldo,Guillaume Melquiond
Inbunden, Engelska, 2017
2 199 kr
Skickas inom 10-15 vardagar
Handbook of Floating-Point Arithmetic
AvJean-Michel Muller,Nicolas Bruniem. fl.
Häftad, Engelska, 2019
2 149 kr
Skickas inom 10-15 vardagar
Handbook of Floating-Point Arithmetic
AvJean-Michel Muller,Nicolas Bruniem. fl.
Inbunden, Engelska, 2018
2 149 kr
Skickas inom 10-15 vardagar