Numerical toolbox for verified computing
theory, algorithms, and Pascal-XSC programs
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, New York |
| Idioma | inglés |
| Páginas | 337 |
| ISBN-10 | 3540571183, 0387571183 |
| OCLC | 77944997 |