Scientific computing with automatic result verification / 
edited by E. Adams, U. Kulisch 
 - Boston :  Academic Press,  c1993 
 - x, 612 p. ;  24 cm. 
 - Mathematics in science and engineering ;  v. 189 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0120442108 :  USD 59.95 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing<br/>Computer science--Mathematics<br/>Mathematics<br/>Engineering mathematics
<br/><br/><label>Dewey Class. No.: </label>511.8