C++ toolbox for verified computing I : basic numerical problems / R. Hammer [and others].
- Additional Titles
- C++ toolbox for verified computing 1, C++ toolbox for verified computing one, C plus plus toolbox for verified computing 1, and C plus plus toolbox for verified computing one
- Published
- Berlin ; New York : Springer, [1995]
- Copyright Date
- ©1995
- Physical Description
- xv, 377 pages : illustrations ; 25 cm
View MARC record | catkey: 1503412