Main image
Click to view image in fullscreen

calcActive())">
Computer Arithmetic and Formal Proofs
1 760,00 DH
En stock
1) { qty = qty - 1 }">
ISBN / EAN | 9781785481123 |
---|---|
Auteur | Boldo, Sylvie (INRIA, France) |
Editeur | ISTE Press Ltd - Elsevier Inc |