Guillaume Melquiond – författare

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

3 produkter

1. 

   Computer Arithmetic and Formal Proofs

   Verifying Floating-point Algorithms with the Coq System

   Av Sylvie Boldo, Guillaume Melquiond

   Inbunden, 2017

   2229 kr

   Lägg i varukorg

2. 

   Handbook of Floating-Point Arithmetic

   Av Jean-Michel Muller, Nicolas Brunie m. fl.

   Häftad, 2019

   2109 kr

   Lägg i varukorg

3. 

   Handbook of Floating-Point Arithmetic

   Av Jean-Michel Muller, Nicolas Brunie m. fl.

   Inbunden, 2018

   2109 kr

   Lägg i varukorg