Guillaume Melquiond | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

Muller, Jean-Michel; Brisebarre, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Lefevre, Vincent; Melquiond, Guillaume
Birkhauser Boston Inc
2009
Kovakantinen kirja

127,10 €

Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System

Boldo, Sylvie; Melquiond, Guillaume
ISTE Press Ltd - Elsevier Inc
2017
Kovakantinen kirja

145,90 €