Matthias Hocks
Autor von "C++ Toolbox for Verified Computing I" und "Numerical Toolbox for Verified Computing I" und weiteren Büchern.

C++ Toolbox for Verified Computing I
Hardcover
erschienen am 17.05.1995

Numerical Toolbox for Verified Computing I
Hardcover
erschienen am 20.12.1993

