1 option
C++ toolbox for verified computing I : basic numerical problems : theory, algorithms, and programs / R. Hammer ... [and others].
LIBRA QA76.73.C153 C18 1995
Available from offsite location
- Format:
- Book
- Language:
- English
- Subjects (All):
- C++ (Computer program language).
- Physical Description:
- xv, 377 pages : illustrations ; 25 cm
- Other Title:
- C++ toolbox for verified computing 1
- C++ toolbox for verified computing one
- C plus plus toolbox for verified computing I
- Place of Publication:
- Berlin ; New York : Springer, [1995]
- Notes:
- Includes bibliographical references (pages [360]-365) and index.
- ISBN:
- 0387591109
- 3540591109
- OCLC:
- 32166841
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.