TY  - BOOK
AU  - Adams,Ernest
AU  - Kulisch,Ulrich
TI  - Scientific computing with automatic result verification
SN  - 0120442108 :
U1  - 511.8 
PY  - 1993///
CY  - Boston
PB  - Academic Press
KW  - Electronic data processing
KW  - Computer science
KW  - Mathematics
KW  - Engineering mathematics
N1  - Includes bibliographical references and index
ER  -