TY  - BOOK
AU  - Hammer,R
TI  - C++ TOOLBOX FOR VERIFIED COMPUTING
SN  - 3540591109
U1  - 519.40285513 
PY  - 1995///
CY  - 
PB  - Springer-Verlag,Berlin
KW  - C++ (Computer Program Language)
N1  - V.1 Basic Numarical Problems
ER  -