Opening book details…
About this mathematics
Formal Development of Programs and Proofs by EDSGER W.DUKSTRA is a mathematics available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- EDSGER W.DUKSTRA
- Publisher
- ADDISON-WESLEY PUBLISHING COMPANY
- Published
- 1990
- Language
- EN
- ISBN
- 9780201172379
- Category
- mathematics
- Subjects
- Computer Science, Mathematics, Programming
- Rating
- 5 / 5 (1 ratings)
- Updated
- 2026-03-14