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

如何證明你寫的程序是正確？

读起来非常枯燥, 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章, 作为附录, 习题存在. 把第三部分直接甩出来. 希望第三部分, 能有趣...