具体描述
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
用户评价
评分
##感觉不是很友好 有空了再读读看
评分##如何证明你写的程序是正确？
评分##如何证明你写的程序是正确？
评分##read it, if I've more time.
评分Best book on writing correct programs
评分##这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么
评分##看不太懂
评分##如何证明你写的程序是正确？
评分##感觉不是很友好 有空了再读读看
相关图书
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2026 tushu.tinynews.org All Rights Reserved. 求知書站 版权所有