具體描述
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
用戶評價
評分
Best book on writing correct programs
評分
Best book on writing correct programs
評分
##這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼
評分
##這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼
評分
##這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼
評分
Best book on writing correct programs
評分
Best book on writing correct programs
評分
##搭配CMU class notes食用..
##如何證明你寫的程序是正確？