Springer 1989-4-21 Paperback 9780387964805
具體描述
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
用戶評價
評分
評分
##這書是講程序驗證的啊，之前那篇熱傳算法blog為什麼會覺得這本書很重要，真的用的齣來麼
評分##搭配CMU class notes食用..
評分 評分##搭配CMU class notes食用..
評分 評分Best book on writing correct programs
評分##看不太懂
評分##如何證明你寫的程序是正確？
相關圖書
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有