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)

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_9 ◽

1997 ◽

pp. 33-34

Author(s):

Edsger W. Dijkstra

Keyword(s):

Unordered Pair

Download Full-text

Complete DAGs (EWD1204)

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_4 ◽

1997 ◽

pp. 17-18

Author(s):

Edsger W. Dijkstra

Download Full-text

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

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_15 ◽

1997 ◽

pp. 53-81

Author(s):

W. H. J. Feijen ◽

A. J. M. van Gasterenf

Keyword(s):

Formal Design

Download Full-text

Courtesy Dr. Birgit Schieder (EWD1215)

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_8 ◽

1997 ◽

pp. 29-31

Author(s):

Edsger W. Dijkstra

Download Full-text

The marriage agency (EWD1214)

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_7 ◽

1997 ◽

pp. 27-28

Author(s):

Edsger W. Dijkstra

Download Full-text

For the record: painting the squared plane (EWD1212)

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_6 ◽

1997 ◽

pp. 25-26

Author(s):

Edsger W. Dijkstra

Download Full-text

Machine-Assisted Verification Using Theorem Proving and Model Checking

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_26 ◽

1997 ◽

pp. 499-528 ◽

Cited By ~ 10

Author(s):

N. Shankar

Keyword(s):

Model Checking ◽

Theorem Proving

Download Full-text

Genesis of Algorithmic Languages

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_19 ◽

1997 ◽

pp. 215-269

Author(s):

Friedrich L. Bauer

Download Full-text

Foundations for Calculational Logic

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_16 ◽

1997 ◽

pp. 83-126 ◽

Cited By ~ 6

Author(s):

David Gries

Download Full-text

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

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_13 ◽

1997 ◽

pp. 43-44

Author(s):

Edsger W. Dijkstra

Download Full-text