Scientific computation with automatic result verification /

Bibliographic Details
Corporate Authors:	Universität Karlsruhe. Institut für Angewandte Mathematik, GAMM Committee on "Computer Arithmetic and Scientific Computation."
Other Authors:	Kulisch, Ulrich, Stetter, Hans J., 1930-
Format:	Book
Language:	English
Published:	Wien ; New York : Springer-Verlag, [1988]
Series:	Computing (Springer-Verlag). Supplementum ; 6.
Subjects:	Numerical calculations > Verification > Congresses. Algorithms > Congresses.

Remote Storage