Showing 1 - 2 of 2 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