- Author
- Edsger Wybe Dijkstra
- Published
- 1976
- Kind
- Library catalog page for a scanned book
- Original
- archive.org/details/disciplineofprog0000dijk
- Subject
- Formal methods and proof
What it is
The Internet Archive holds a scan of the 1976 Prentice-Hall book by Edsger Wybe Dijkstra. This page is the item's catalog entry.
What it says
- The page lists a 1976 Prentice-Hall book on computer programming.
- The page marks the item access-restricted and shows a scan added on 8 June 2019.
What evidence it gives
The page offers metadata only: title, author, publisher, page count, identifiers and scan details. It gives no passages from the book.
Interests and limits
Only the catalog page was read; the book itself is access-restricted and was not read. The page says nothing about the book's argument.