Showing 1 - 5 of 5 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 Sympos... by Nehmeier, Marco, Wolff Von ... ISBN: 9783319317687 List Price: $72.00