On the interplay between mathematics and programming

E.W. Dijkstra

doi:10.1007/BFb0014653

On the interplay between mathematics and programming

E.W. Dijkstra

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978)
Editors	F.L. Bauer, M. Broy, E.W. Dijkstra
Place of Publication	Berlin
Publisher	Springer
Pages	35-46
Number of pages	12
ISBN (Electronic)	978-3-540-35312-6
ISBN (Print)	3-540-09251-X, 978-3-540-09251-3
DOIs	https://doi.org/10.1007/BFb0014653
Publication status	Published - 1979

Publication series

Name	Lecture Notes in Computer Science
Volume	69
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0014653

Cite this

@inproceedings{bd334ce3818c4448a4cddc566fdff160,

title = "On the interplay between mathematics and programming",

author = "E.W. Dijkstra",

year = "1979",

doi = "10.1007/BFb0014653",

language = "English",

isbn = "3-540-09251-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "35--46",

editor = "F.L. Bauer and M. Broy and E.W. Dijkstra",

booktitle = "Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978)",

address = "Germany",

}

On the interplay between mathematics and programming. / Dijkstra, E.W.
Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). ed. / F.L. Bauer; M. Broy; E.W. Dijkstra. Berlin: Springer, 1979. p. 35-46 (Lecture Notes in Computer Science; Vol. 69).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On the interplay between mathematics and programming

AU - Dijkstra, E.W.

PY - 1979

Y1 - 1979

U2 - 10.1007/BFb0014653

DO - 10.1007/BFb0014653

M3 - Conference contribution

SN - 3-540-09251-X

SN - 978-3-540-09251-3

T3 - Lecture Notes in Computer Science

SP - 35

EP - 46

BT - Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978)

A2 - Bauer, F.L.

A2 - Broy, M.

A2 - Dijkstra, E.W.

PB - Springer

CY - Berlin

ER -