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 下載

這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼

感覺不是很友好 有空瞭再讀讀看

Best book on writing correct programs

這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼

看不太懂

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

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

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

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

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