Your search returned 2 results.

Not what you expected? Check for suggestions
1.
C++ Toolbox for Verified Computing I

by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz.

Edition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Numerical Toolbox for Verified Computing I

by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz.

Series: Springer Series in Computational MathematicsEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart