图书标签: Programming  算法  程序验证  计算机科学  编程  计算机  程序设计  programming   

喜欢 The Science of Programming 的读者还喜欢

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

read it, if I've more time.

搭配CMU class notes食用..

搭配CMU class notes食用..

Best book on writing correct programs

感觉不是很友好 有空了再读读看

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

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

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

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

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