-
1
-
-
0037710417
-
A constructive approach to the problem of program correctness
-
Dijkstra, E.W. A constructive approach to the problem of program correctness. BIT 8, 3 (1968), 174-186.
-
(1968)
BIT
, vol.8
, Issue.3
, pp. 174-186
-
-
Dijkstra, E.W.1
-
2
-
-
34147120474
-
A note on two problems in connection with graphs
-
Dijkstra, E.W. A note on two problems in connection with graphs. Numerische Mathematik 1 (1959), 269-271.
-
(1959)
Numerische Mathematik
, vol.1
, pp. 269-271
-
-
Dijkstra, E.W.1
-
4
-
-
84945709727
-
Go to statement considered harmful
-
(Mar.)
-
Dijkstra, E.W. Go to statement considered harmful, Commun. ACM 11, 3 (Mar. 1968), 147-148.
-
(1968)
Commun. ACM
, vol.11
, Issue.3
, pp. 147-148
-
-
Dijkstra, E.W.1
-
5
-
-
0015195766
-
Hierarchical ordering of sequential processes
-
Dijkstra, E.W. Hierarchical Ordering of sequential processes. Acta Informatica 1 (1971), 115-138.
-
(1971)
Acta Informatica
, vol.1
, pp. 115-138
-
-
Dijkstra, E.W.1
-
6
-
-
0001654941
-
Notes on structured programming
-
O.-J. Dahl, E.W. Dijkstra, and C.A.R. Hoare, Eds. Academic Press, London
-
Dijkstra, E.W. Notes on structured programming. In O.-J. Dahl, E.W. Dijkstra, and C.A.R. Hoare, Eds., Structured Programming. Academic Press, London, 1972, 1-82.
-
(1972)
Structured Programming
, pp. 1-82
-
-
Dijkstra, E.W.1
-
7
-
-
77955205641
-
-
EWD 255, n.d., circulated privately
-
Dijkstra, E.W. over de IBM 360, EWD 255, n.d., circulated privately; http://www.cs.utexas.edu/users/eWd/ewd02xx/eWd255.PdF
-
Over de IBM 360
-
-
Dijkstra, E.W.1
-
9
-
-
0011871202
-
-
Penguin Books Ltd., Harmondsmorth, Middlesex, England
-
Kline, M. Mathematics in Western Culture. Penguin Books Ltd., Harmondsmorth, Middlesex, England, 1972.
-
(1972)
Mathematics in Western Culture
-
-
Kline, M.1
-
10
-
-
0034320665
-
Atlas shrugged: When it comes to online road maps, why you can't (always) get there from here
-
(Nov.)
-
Menduno, M. Atlas Shrugged: When it comes to online road maps, why you can't (always) get there from here. Scientific American 283, 11 (Nov. 2000), 20-22.
-
(2000)
Scientific American
, vol.283
, Issue.11
, pp. 20-22
-
-
Menduno, M.1
-
11
-
-
77955203350
-
-
Randell, B. and Buxton, J.N., Eds. (Rome, Italy, Oct.) NATO
-
Randell, B. and Buxton, J.N., Eds., Software Engineering Techniques: A Report on a Conference Sponsored by the NATO Science Committee (Rome, Italy, Oct. 1969), NATO, 1970.
-
(1969)
Software Engineering Techniques: A Report on a Conference Sponsored by the NATO Science Committee
-
-
|