C++ toolbox for verified computing I basic numerical problems

C++ toolbox for verified computing I basic numerical problems

Bibliographic Details
Other Authors: Hammer, R. 1961- (Rolf)
Format: Book
Language:English
Published: Berlin Springer c1995.
Subjects:
C++ (Computer program language)