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):

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):

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

Specification and Design of a Transmission Protocol by Successive Refinements Using B1

Mathematical Methods in Program Development ◽

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

1997 ◽

pp. 129-200 ◽

Author(s):

J.-R. Abrial ◽

L. Mussat

Keyword(s):

Transmission Protocol

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 ◽

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