Hammer, R. <br/><br/>
NUMERICAL toolbox for verified computing I: basic numerical problems tfeory, algorithms, and pascal-XSC programs / 
R.Hammer... [et al.] 
 - New York  Springer-Verlag berlin heidelberg  1993 
 - xiii, 337 p.- 
 - Springer series in computational mathematics: 21 .
<br/><br/> Includes bibliogrephy & index. 
<br/><br/><label>ISBN: </label>3540571183 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>510  / NUM