QA0076.60000000.D54 Must-Read
A Discipline of Programming
✓ Read
Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.
- Category
- Mathematics
- Priority
- Must-Read
- Author works
- 3
- Editions known
- 1
FROM THE STACKS Returned · Read
On the Same Shelf
Books one call-number away from QA0076.60000000.D54 in the LCC stacks.
QA0076.60000000.C662 2009eb
Introduction to Algorithms
Thomas H. Cormen
QA0076.60000000.C662 2009eb
Introduction to Algorithms
Thomas H. Cormen et al.
QA0076.60000000.H697 2001
How to Design Programs
Matthias Felleisen et al.
QA0076.60000000.H857 2000
The Pragmatic Programmer
David Thomas and Andrew Hunt
More by Edsger W. Dijkstra
More in Mathematics
← Back to browse