Numerical Toolbox for Verified Computing I - Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs (Paperback, Softcover reprint of the original 1st ed. 1993)
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Ships in 10 - 15 working days