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 099 kr

Skickas inom 10-15 vardagar

Handbook of Floating-Point Arithmetic

AvJean-Michel Muller,Nicolas Bruniem. fl.

Häftad, Engelska, 2019

2 109 kr

Skickas inom 10-15 vardagar

Handbook of Floating-Point Arithmetic

AvJean-Michel Muller,Nicolas Bruniem. fl.

Inbunden, Engelska, 2018

2 109 kr

Skickas inom 10-15 vardagar