Computer Arithmetic and Formal Proofs
Edición de la obra Computer Arithmetic and Formal Proofs
| Autor | Sylvie Boldo, Guillaume Melquiond |
|---|---|
| Editorial | Elsevier, ISTE Press - Elsevier |
| Fecha de publicación | 2017 |
| Idioma | inglés |
| Páginas | 353 |
| ISBN-13 | 9781785481123 |
| Número de Cutter | B687c |