Author

Ulrich Kulisch Rolf Hammer

2 books found

Cover of C++ Toolbox for Verified Computing I

C++ Toolbox for Verified Computing I

Ulrich Kulisch Rolf Hammer · First published 2011

Cover of C++ toolbox for verified computing I

C++ toolbox for verified computing I

Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · First published 1995