TY  - BOOK
AU  - Hammer R and REFs
TI  - C++ toolbox for verified computing: theory, algorithms and programs
SN  - 3540591109 (hbd)
U1  - D65,8(B)92C++, N5.1 
PY  - 1995///
CY  - Berlin
PB  - Springer Verlag        
KW  -  C++
KW  -  Program language
KW  - Computer science
ER  -