Showing 1 - 2 of 2 Results
1.
Validated Numerics: A Short Introduction to Rigorous Computations by Tucker, Warwick ISBN-13: 9780691147819 ISBN-10: 0691147817 Hardcover, 2011 List Price: $45.00
2.
Auto-Validating Numerical Methods by Tucker, Warwick ISBN-13: 9783034603010 ISBN-10: 3034603010 2010