Numerical Toolbox for Verified Computing I: Basic Numerical Problems 
Subtitle: Theory, Algorithms, and Pascal-Xsc Programs (Springer Series in Computational Mathematics)
Publisher: Springer
Published: December 1993
Language: eng
Number of pages: 360
ISBN-13: 9780387571188