Search CORE

12 research outputs found

VAMP, on the construction, description and understanding of programs

Author: Ammers E.W., van
Publication venue: Unknown Publisher
Publication date: 01/01/1984
Field of study

Wageningen University & Research Publications

On the construction, description and understanding of programs (fourth edition).

Author: van Ammers E.W.
Publication venue
Publication date: 01/01/1986
Field of study

Bijdrage van Drs. E.W. van Ammers

Author: Ammers E.W., van
Publication venue
Publication date: 01/01/1999
Field of study

Wageningen University & Research Publications

Literate Programming met VAMP.

Author: Ammers E.W., van
Publication venue
Publication date
Field of study

Wageningen University & Research Publications

Correctness proofs by formalized refinement steps

Author: Ammers E.W., van
Publication venue: Dept. of Math., Agric. Univ., Wageningen
Publication date
Field of study

Wageningen University & Research Publications

Programmeeronderwijs met behulp van literate programming.

Author: Ammers van, E.W.
Kramer M.R.
Publication venue
Publication date: 01/01/1993
Field of study

Vamp: a tool for literate programming independent of programming language and formatter.

Author: Kramer M.R.
van Ammers E.W.
Publication venue
Publication date: 01/01/1992
Field of study

'STUPID': Simple typefont Usage Programm Instructing a Diblo

Author: Gerritsen M.
van Ammers E.W.
Publication venue
Publication date: 01/01/1983
Field of study

'STUPID': Simple typefont Usage Programm Instructing a Diblo

Author: Ammers E.W., van
Gerritsen M.
Publication venue: Unknown Publisher
Publication date
Field of study

Wageningen University & Research Publications

Programmeeronderwijs met behulp van literate programming.

Author: Ammers E.W., van
Kramer M.R.
Publication venue
Publication date
Field of study

Wageningen University & Research Publications

core

core