Yazar
Ulrich Kulisch Rolf Hammer
2 cilt bulundu.
Cilt sonuçları
C++ Toolbox for Verified Computing I
Ulrich Kulisch Rolf Hammer · Springer Berlin Heidelberg
400 sayfa · 2011
C plus plus (computer program language)
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