(1 resultados)
Ordenar por
ordenar por...
112,32€(IVA inc.)
Floating-Point Algorithms and Formal Proofs: A Didactic Tour with Coq
- Boldo, Sylvie
- 978-1-78548-112-3
- 2016-12-01