RecordNumber

3348

LC Class

QA

LC Number

76.73

LC CutterNumber

.C153,C18

Dewey Class

519

Dewey Number

.4,/0285

Dewey Date

/5133

Title

C++ toolbox for verified computing I

Author Statement

R. Hammer ... [et al.]

Publication

Springer

Publication Year

c1995

Collation

xv, 377 p.: ill.; 25 cm

Subject

C++ (Computer program language)

ADDED ENTRIES

Hammer, R., 1961-

Holding Info.

0387591109

Original By

76/10

DocumentNumber

42791

SubTitle

: basic numerical problems

Biblography

Includes bibliographical references (p. [360]-365) and index

BL

BL