EWD1300: The notational conventions I adopted, and why

DOI10.1007/s001650200030zbMath1029.68004OpenAlexW2029249420MaRDI QIDQ1402465

Edsger W. Dijkstra

Publication date: 27 August 2003

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650200030

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Methodology of mathematics (00A35)

Related Items

Structured derivations: a unified proof style for teaching mathematics ⋮ Teaching types with a cognitively effective worked example format ⋮ On designing stacked canons with relative chord tones