Numerical toolbox for verified computing
Edición de la obra Numerical toolbox for verified computing
| Autor | R. Hammer, M. Hocks, U. Kulisch, D. Ratz |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1993 |
| Lugar | Berlin, London |
| Idioma | inglés |
| Páginas | 337 |
| ISBN-10 | 0387571183, 3540571183 |
| Serie | Springer series in computational mathematics -- 21 |