
Numerical Toolbox for Verified Computing I: Basic Numerical Problems
Theory, Algorithms, and Pascal-Xsc Programs (Springer Series in Computational Mathematics)
Edición de la obra Numerical toolbox for verified computing
| Autor | R. Hammer, M. Hocks, U. Kulisch, D. Ratz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 1993 |
| Idioma | inglés |
| Páginas | 360 |
| ISBN-13 | 9780387571188 |
| ISBN-10 | 0387571183 |
| Número de Cutter |