编程的科学
The Science of Programming
David Gries · 初版 1981 年
- 15次提及
- 9人推荐
- 13位 HN 评论者
Hacker News 读者推荐
……等等，特别是银色封面的“计算机科学文本与专著”（Texts and Monographs In Computer Science）丛书（整套丛书就是一场饕餮盛宴，应该囫囵吞下，再就着偷藏的传世美酒一饮而尽）：Gries 的《编程的科学》（The Science of Programming）；Alagic 和 Arbib 的《结构良好且正确的程序设计》（The Design of Well-Structured and Correct Programs）。Gries 编选的《编程方法学》（Programming Methodology）汇集了结构化方法的各种流派，贡献者包括……
mahmud 在 HN 的推荐
David Gries 写的《编程的科学》（The science of programming）也是一本很好的入门书，教你如何用数理逻辑和推理来写程序。这本书受 Dijkstra 和 Hoare 技术思想的启发，写得通俗易懂，让人很容易……
contravariant 在 HN 的推荐
……他事后总结的想法。（这类回顾读起来几乎总是很有意思，参见 Niklaus Wirth 的《透过窥镜看好点子》（Good ideas through the looking glass）。）[1]：感兴趣的读者可以去看看 David Gries 写的那本神作《编程的科学》（The Science of Programming）。
sb 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 013215871X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。