Scientific Computing, Computer Arithmetic, and Validated Numerics
Lieferbar in ca. 10-14 Arbeitstagen
Auto-Validating Numerical Methods
Tucker, Warwick