C++ toolbox for verified computing I :  basic numerical problems / 
R. Hammer ... [y otros.] 
 - xv, 377 páginas 
<br/><br/><label>ISBN: </label>3540591109  (papel libre de acido) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>C++ (Lenguaje de programación para computadora)
<br/><br/><label>LC Class. No.: </label>QA76.73C153  / C24