Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs (21 Springer Series in Computational Mathematics) Rolf Hammer, Matthias Hocks, Ulrich Kulisch and Dietmar Ratz

Buch

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs (Springer Series in Computational Mathematics, 21) Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich and Ratz, Dietmar

Beschreibung

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs (Springer Series in Computational Mathematics, 21) Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich and Ratz, Dietmar

Produktdetails

• Verlag: Springer
• ISBN-13: 9783540571186
• Artikelnr.: 24624106