Descripción del título

Monografía
monografia Rebiun03448446 https://catalogo.rebiun.org/rebiun/record/Rebiun03448446 A10218s1993 gw || 000|0 eng d 3-540-57118-3 UM0164489 BUS Numerical toolbox for verified computing I basic numerical problems : theory, algorithms, and Pascal-XSC programs R. Hammer... [et al.] Berlin [etc.] Springer-Verlag 1993 Berlin [etc.] Berlin [etc.] Springer-Verlag XIII, 337 p. ; 25 cm XIII, 337 p. ; 25 cm Springer series in computational mathematics 21 Programas y sistemas de programación- Verificación Hammer, Rolf coautor