The Craft of Programming
- 1981
- 434 pages
Opens the author, publisher or archive page. This title is hosted externally.
A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.
About this book
John C. Reynolds wrote:Do not reproduce these documents for commercial purposes.
Bibliographic record recovered from the original FreeTechBooks listing. View archived source.