Showing 1 - 3 of 3 Results
1.
Validated Numerics: A Short Introduction to Rigorous Computations by Tucker, Warwick ISBN: 9780691147819 List Price: $45.00
2.
Auto-Validating Numerical Methods by Tucker, Warwick ISBN: 9783034603010
3.
Scientific Computing, Computer Arithmetic, and Validated Numerics : 16th International Sympo... by Nehmeier, Marco, Wolff Von ... ISBN: 9783319317687 List Price: $72.00