Scientific Computation with Automatic Result Verification
By: edited by Ulrich Kulisch, Hans J. Stetter
Contributors: Stetter, Hans J.
Series: Computing Supplementum, 0344-8029 -- 6; Computing (Springer-Verlag) -- 6.
Publisher: Springer Vienna
Published: 1988
Place of publication: Vienna
Language: eng
Format: [electronic resource] /
Number of pages: 244
ISBN-13: 9783709169575