Centrum Wiskunde & Informatica

Modified nystroem methods for semi-discrete hyperbolic differential equations : (preprint) Tech Report

P.J. van der Houwen (Piet)

January 1980
A survey of multi-grid methods for nonlinear problems Tech Report

E.J. van Asselt

January 1980
Two-tape real-time computation : (preprint) Tech Report

P.M.B. Vitányi (Paul)

January 1980
A survey of high level microprogramming languages : (preprint) Tech Report

H.J. Sint

January 1980
The completeness of the algebraic specification methods for data types : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1980
On the refinement of specifications and Hoare's logic : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1980
Correctness of explicitly specified procedures : (preprint) Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
On the notion of correct refinement of programs : (prepint) Tech Report

R.J.R. Back (Ralph-Johan)

January 1980

Previous

Next