具體描述
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
用戶評價
評分
##這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼
評分
##感覺不是很友好 有空瞭再讀讀看
評分
##感覺不是很友好 有空瞭再讀讀看
評分
##看不太懂
評分
##如何證明你寫的程序是正確？
評分
Best book on writing correct programs
評分
##搭配CMU class notes食用..
評分
##這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼
##read it, if I've more time.