TY  - BOOK
T1  - C++ toolbox for verified computing I basic numerical problems
A2  - Hammer, R. 1961- (Rolf)
LA  - English
PP  - Berlin
PB  - Springer
YR  - 1995
UL  - https://tuklas.up.edu.ph/Record/UP-99796217603100161
OP  - 377
CN  - QA 76.73 C153 C66 1995
SN  - 3540591109
KW  - C++ (Computer program language)
ER  -