Computer Arithmetic and Formal Proofs

Auteur: Boldo, Sylvie (INRIA, France)
Editeur: ISTE Press Ltd - Elsevier Inc

En stock

ISBN / EAN 9781785481123
Auteur Boldo, Sylvie (INRIA, France)
Editeur ISTE Press Ltd - Elsevier Inc