C++ Toolbox for Verified Computing I: Basic Numerical Problems 
Subtitle: Theory, Algorithms, and Programs
Publisher: Springer-Verlag Telos
Published: June 1995
Language: eng
Number of pages: 377
ISBN-13: 9780387591100