Guillaume Melquiond - Böcker

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

Av Sylvie Boldo, Guillaume Melquiond

Inbunden, Engelska, 2017

2 119 kr

Skickas inom 7-10 vardagar

Handbook of Floating-Point Arithmetic

Av Jean-Michel Muller, Nicolas Brunie m. fl

Häftad, Engelska, 2019

2 409 kr

Skickas inom 10-15 vardagar

Handbook of Floating-Point Arithmetic

Av Jean-Michel Muller, Nicolas Brunie m. fl

Inbunden, Engelska, 2018

2 409 kr

Skickas inom 10-15 vardagar