Yazar
Matthias Hocks
2 cilt bulundu.
Cilt sonuçları
C++ toolbox for verified computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · Springer
380 sayfa · 1995
C++ (Computer program language) / C & Visual C / Mathematical theory of computation / Utilities & tools / Applied