|
|
by Klatte, Rudi, Kulisch, Ulrich, Neaga, Michael, Ratz, Dietmar
Published 1991
Table of Contents:
“...1 Einleitung -- 2 Sprachbeschreibung -- 3 Die Arithmetikmodule -- 4 Problemlöseroutinen -- 5...”Published 1991
Springer Berlin Heidelberg
|
|
by Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar
Published 1995
Table of Contents:
“... Result Verification? -- I Preliminaries -- 2 The Features of C-XSC -- 3 Mathematical Preliminaries -- II...”Published 1995
Springer Berlin Heidelberg
|
|
by Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar
Published 1993
Table of Contents:
“...1 Introduction -- 1 Introduction -- I Preliminaries -- 2 The Features of PASCAL—XSC -- 3...”Published 1993
Springer Berlin Heidelberg