D. Ratz

No bio available. Add one in Open Library.

Books by D. Ratz (50 max)

+ shelf+ list

Pascal-Xsc: Language Reference With Examples

1991

Rudi Klatte, R. Klatte, U. Kulisch, M. Neaga, D. Ratz, Ch Ullrich

+ shelf+ list

Numerical toolbox for verified computing: theory, algorithms, and Pascal-XSC programs

1993

R. Hammer, M. Hocks, U. Kulisch, D. Ratz