Matthias Hocks

ספרים שבהם Matthias Hocks מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

C++ toolbox for verified computing IRolf Hammer

C++ toolbox for verified computing I

Rolf Hammer · 1997