LC CutterNumber :
.C153,C18
Title :
C++ toolbox for verified computing I
Author Statement :
R. Hammer ... [et al.]
Collation :
xv, 377 p.: ill.; 25 cm
Subject :
C++ (Computer program language)
ADDED ENTRIES :
Hammer, R., 1961-
Holding Info. :
0387591109
SubTitle :
: basic numerical problems
Biblography :
Includes bibliographical references (p. [360]-365) and index
