Computer Arithmetic and Formal Proofs
Verifying Floating-Point Algorithms with the Coq System
Edición de la obra Computer Arithmetic and Formal Proofs
| Autor | Sylvie Boldo, Guillaume Melquiond |
|---|---|
| Editorial | Elsevier |
| Fecha de publicación | 2017 |
| Idioma | inglés |
| Páginas | 326 |
| ISBN-13 | 9780081011706 |
| Número de Cutter | B687c |