Books by Dietmar Ratz
PASCAL-XSC: Language Reference with Examples
Rudi Klatte, Michael Neaga, Ulrich Kulisch, Christian Ullrich, Dietmar Ratz
-20% with code BOOKS
In stock at our supplier
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Matthias Hocks, Rolf Hammer, Dietmar Ratz, Ulrich Kulisch
-20% with code BOOKS
In stock at our supplier
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Rolf Hammer, Dietmar Ratz, Ulrich Kulisch, Matthias Hocks
-20% with code BOOKS
In stock at our supplier