编程方法
A method of programming
Edsger Wybe Dijkstra, W. H. J. Feijen · 初版 1988 年
- 5次提及
- 2人推荐
- 2位 HN 评论者
简介
一本通过对程序状态的数学特征进行逐步转换来启发思考的计算机编程入门指南。
Hacker News 读者推荐
……抛开 Dijkstra 的傲慢和锋芒毕露的表达风格不谈，他确实教了些很有用的东西。如果你看看他和同事讲解如何做到这点的书之一（比如 Dijkstra 和 Feijen 写的《A Method of Programming》），就会很清楚地发现，程序员自己理应想出形式化规范（formal specification）。书中很大一部分都在讲如何编写规范。而形式化……
jonjacky 在 HN 的推荐
>任何想在程序推导（deriving programs）这个课题上深入学习的人都应该读读另外两部；* EWD316 - 《A Short Introduction to the Art of Programming》。* 《A Method of Programming》——与 W.H.J.Feijen 合著的书。不知何故，这本书尽管是作为课程教材编写的，却并不怎么出名。草稿版见此：https://www.softwareresearch.net/fileadmin/src/docs/teaching...
rramadass 在 HN 的推荐
那你肯定得去搞一本他（与 Feijen 合著）的书《A Method of Programming》。它是专门为课堂教学设计的，针对的是“入门级编程课程”。
rramadass 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0201175363
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。