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

##搭配CMU class notes食用..

##看不太懂

##read it, if I've more time. 雖然這本書的名聲並不響亮，但是在我看來他對我的幫助如算法導論一樣大，刷新瞭我的“編程觀”。在看算法導論之前，我以為編程就是API調來調去，一堆Lib堆起來一個程序。而在看這本書之前，我正如本書作者所描述的很多程序員那樣，依賴直覺去編程，這麼說也許有些含糊，但是如...  

##read it, if I've more time. 雖然這本書的名聲並不響亮，但是在我看來他對我的幫助如算法導論一樣大，刷新瞭我的“編程觀”。在看算法導論之前，我以為編程就是API調來調去，一堆Lib堆起來一個程序。而在看這本書之前，我正如本書作者所描述的很多程序員那樣，依賴直覺去編程，這麼說也許有些含糊，但是如...