Yazar
Dietmar Ratz
5 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
PASCAL-XSC
Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich · Springer Berlin Heidelberg
Sayfa sayısı yok · 1991
PASCAL-XSC