C++ toolbox for verified computing I : basic numerical problems /

Bibliographic Details
Other Authors: Hammer, R. (Rolf), 1961-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1995]
Subjects:
Description
Physical Description:xv, 377 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [360]-365) and index.
ISBN:0387591109 (New York : v. 1 : acid-free paper)
3540591109 (Berlin : acid-free paper)