Search
Results
-
-
Program development by step-wise refinement
(1971)Berichte der Fachgruppe ComputerwissenschaftenReport -
The Use of MODULA and Design and implementation of MODULA
(1976)Berichte des Instituts für InformatikReport -
-
An axiomatic definition of the programming language Pascal
(1972)Berichte der Fachgruppe ComputerwissenschaftenReport -
The programming language Pascal (Revised Report)
(1973)Berichte der Fachgruppe ComputerwissenschaftenReport -
-
A Collection of Pascal programs
(1979)ETH, Eidgenössische Technische Hochschule Zürich, Institut für InformatikReport -