Mathematical Methods in Program Development
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642645884, 9783642608582
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

WLOG, or the misery of the unordered pair (EWD1223)

1997 ◽  
pp. 33-34
Author(s):  
Edsger W. Dijkstra
Keyword(s):  
Unordered Pair

Complete DAGs (EWD1204)

1997 ◽  
pp. 17-18
Author(s):  
Edsger W. Dijkstra

On a Method for the Formal Design of Multiprograms (AvG140/WF231)

1997 ◽  
pp. 53-81
Author(s):  
W. H. J. Feijen ◽  
A. J. M. van Gasterenf
Keyword(s):  
Formal Design

Courtesy Dr. Birgit Schieder (EWD1215)

1997 ◽  
pp. 29-31
Author(s):  
Edsger W. Dijkstra

The marriage agency (EWD1214)

1997 ◽  
pp. 27-28
Author(s):  
Edsger W. Dijkstra

For the record: painting the squared plane (EWD1212)

1997 ◽  
pp. 25-26
Author(s):  
Edsger W. Dijkstra

Genesis of Algorithmic Languages

1997 ◽  
pp. 215-269
Author(s):  
Friedrich L. Bauer

Foundations for Calculational Logic

1997 ◽  
pp. 83-126 ◽  
Author(s):  
David Gries

A kind of converse of Leibniz’s Principle (EWD1245)

1997 ◽  
pp. 43-44
Author(s):  
Edsger W. Dijkstra
Load More ...
Sign in / Sign up

Export Citation Format

Share Document