The Science of Programming 在线电子书 图书标签: Programming  算法  程序验证  计算机科学  编程  计算机  程序设计  programming   

喜欢 The Science of Programming 在线电子书 的读者还喜欢

• 
  Writing Efficient Programs 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  编程的本质 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  A Discipline of Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  The Practice of Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Programming Language Pragmatics, Third Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  From Mathematics to Generic Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  算法引论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Language Implementation Patterns 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  The Elements of Programming Style, 2nd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  算法设计与分析基础 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

read it, if I've more time.

Best book on writing correct programs

这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么

Best book on writing correct programs

read it, if I've more time.

虽然这本书的名声并不响亮，但是在我看来他对我的帮助如算法导论一样大，刷新了我的“编程观”。在看算法导论之前，我以为编程就是API调来调去，一堆Lib堆起来一个程序。而在看这本书之前，我正如本书作者所描述的很多程序员那样，依赖直觉去编程，这么说也许有些含糊，但是如...  

虽然这本书的名声并不响亮，但是在我看来他对我的帮助如算法导论一样大，刷新了我的“编程观”。在看算法导论之前，我以为编程就是API调来调去，一堆Lib堆起来一个程序。而在看这本书之前，我正如本书作者所描述的很多程序员那样，依赖直觉去编程，这么说也许有些含糊，但是如...  

读起来非常枯燥, boring. 这一定是作者的问题. 不能很好的引导读者(至少是我)去理解整个过程. 前12章170多页, 分两部分: 1. logic学简介; 2, 程序语言的形式化. 总之非常无聊. 废话太多了. 完全应该把前12章, 作为附录, 习题存在. 把第三部分直接甩出来. 希望第三部分, 能有趣...

读起来非常枯燥, boring. 这一定是作者的问题. 不能很好的引导读者(至少是我)去理解整个过程. 前12章170多页, 分两部分: 1. logic学简介; 2, 程序语言的形式化. 总之非常无聊. 废话太多了. 完全应该把前12章, 作为附录, 习题存在. 把第三部分直接甩出来. 希望第三部分, 能有趣...

读起来非常枯燥, boring. 这一定是作者的问题. 不能很好的引导读者(至少是我)去理解整个过程. 前12章170多页, 分两部分: 1. logic学简介; 2, 程序语言的形式化. 总之非常无聊. 废话太多了. 完全应该把前12章, 作为附录, 习题存在. 把第三部分直接甩出来. 希望第三部分, 能有趣...