Guillaume Melquiond – författare

Visar alla böcker från författaren Guillaume Melquiond. Handla med fri frakt och snabb leverans.

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

Skickas inom 7-10 vardagar

Handbook of Floating-Point Arithmetic

AvJean-Michel Muller,Nicolas Bruniem. fl.

Häftad, Engelska, 2019

2 079 kr

Skickas inom 10-15 vardagar

Handbook of Floating-Point Arithmetic

AvJean-Michel Muller,Nicolas Bruniem. fl.

Inbunden, Engelska, 2018

2 079 kr

Skickas inom 10-15 vardagar