Matthias Hocks

Books that list Matthias Hocks among their authors but not as the lead author: co-written works, collections and compilations.

C++ toolbox for verified computing IRolf Hammer

C++ toolbox for verified computing I

Rolf Hammer · 1997