Dettaglio del documento
1: Basic numerical problems
- Scheda
- Links
| eBook | ||
| Monografia | ||
| Descrizione | 1: *Basic numerical problems / R. Hammer ... [et al.]. - Berlin : Springer, 1995. - xv, 377 p. : ill. ; 25 cm | |
| ISBN E-Book | 9783642796517 | |
| Fa parte di | C++ toolbox for verified computing : theory, algorithms and programs , 1 | |
| Autore secondario |
|
|
| Soggetti | 68N15 - Theory of programming languages [MSC 2020] | |
| Parole chiave |
Algorithms
Automatic results C++ and C-XSC Interval arithmetic Self-validating numerics Simplification of Programming |
|
| Luogo pubblicazione | Berlin | |
| Editori | Springer <editore> | |
| Anno pubblicazione | 1995 | |
| Thesauri | 68N15 | |
| Theory of programming languages [MSC 2020] |