從規(guī)范出發(fā)的程序設計（第2版）

定　價：￥45.00

作　者：	（美）Carroll Morgan著；裘宗燕譯；裘宗燕譯
出版社：	機械工業(yè)出版社
叢編項：	軟件工程技術叢書前沿論題系列
標　簽：	暫缺

購買這本書可以去

ISBN：	9787111108474	出版時間：	2002-08-01	包裝：	膠版紙
開本：	24cm	頁數(shù)：	314	字數(shù)：

內容簡介

　　本書詳細論述了有關規(guī)范程序設計的內容，包括：程序和精化、謂詞演算、選擇、迭代、構造類型、模塊和封裝等，最后幾章還包含了大量的實例研究和一些更高級的程序設計技術。本書提倡一種嚴格的程序開發(fā)方法，分析問題要用嚴格方式寫出程序的規(guī)范，而后通過一系列具有嚴格理論基礎的推導，最終得到可以運行的程序。本書是被世界上許多重要大學采用的教材，適于計算機及相關專業(yè)的本科生和研究生使用。

作者簡介

　　裘宗燕知名譯者，翻譯嚴謹，喜與讀者交流。裘宗燕教授是北京大學數(shù)學學院信息科學系的，關心的主要學術領域包括計算機軟件理論、程序設計方法學、程序設計語言和符號計算。已出版多部著作和譯著，包括《程序設計語言基礎》（譯著，1990），《Mathematica數(shù)學軟件系統(tǒng)的應用與程序設計》（1994），《從問題到程序——程序設計與C語言引論》（1999）>>更多作品

圖書目錄

第1章  程序和精化
1. 1  傳統(tǒng)觀點
1. 2  一種新觀點
1. 3  程序作為契約：精化
1. 4  抽象程序
1. 5  可執(zhí)行程序
1. 6  混合程序
1. 7  不可行程序
1. 8  一些常見習慣用法
1. 9  幾個極端程序
1. 10  練習
第2章  謂詞演算
2. 1  相關性
2. 2  項
2. 3  簡單公式
2. 4  命題公式
2. 5  量詞
2. 6  (一般)公式
2. 7  運算符的優(yōu)先級
2. 8  謂詞演算
2. 9  練習
第3章  賦值和順序復合
3. 1  引言
3. 2  賦值
3. 3  開賦值
3. 4  skip命令
3. 5  順序復合
3. 6  賦值與復合的結合
3. 7  例：交換變量的值
3. 8  練習
第4章  選擇
4. 1  操作性描述
4. 2  精化法則
4. 3  練習
第5章  迭代
5. 1  操作性描述
5. 2  精化法則：非形式的
5. 3  迭代的終止性：變動量
5. 4  迭代的精化法則
5. 5  迭代的"核查表"
5. 6  練習
第6章  類型和聲明
6. 1  類型
6. 2  聲明
6. 3  局部塊
6. 4  類型與不變式的使用
6. 5  關于可行性的最后注記
6. 6  類型和不變式的檢查
6. 7  無定義表達式
6. 8  練習
第7章  實例研究：平方根
7. 1  抽象程序：出發(fā)點
7. 2  除去"外來"運算符
7. 3  尋找不變式
7. 4  練習
第8章  初始變量
8. 1  簡單規(guī)范
8. 2  初始變量的精確化
8. 3  再看順序復合
8. 4  先導賦值
8. 5  練習
第9章  構造類型
9. 1  冪集
9. 2  包
9. 3  序列
9. 4  分配運算符
9. 5  函數(shù)
9. 6  關系
9. 7  練習
第10章  實例研究：插入排序
10. 1  什么叫排序
10. 2  類似的前后條件
10. 3  減小變動量
10. 4  向上或向下迭代
10. 5  一個巧妙的不變式
10. 6  對序列賦值
10. 7  刪除局部不變式
10. 8  練習
第11章  過程和參數(shù)
11. 1  無參過程
11. 2  用值做替換
11. 3  帶參數(shù)的過程
11. 4  對過程調用的精化
11. 5  多重替換
11. 6  值結果替換
11. 7  語法問題
11. 8  引用替換
11. 9  練習
第12章  實例研究：堆排序
12. 1  代碼的時間復雜性
12. 2  堆
12. 3  堆的收縮
12. 4  建堆
12. 5  過程Sift
12. 6  練習
第13章  遞歸過程
13. 1  部分正確性
13. 2  遞歸的變動員
13. 3  一個完整例子
13. 4  跋：遞歸塊
13. 5  練月
第14章  實例研究：灰色編碼
14. 1  灰色編碼
14. 2  輸入輸出
14. 3  孤立的基礎情況
14. 4  練習
第13章  遞歸類型
15. 1  不相交并
15. 2  標志測試
15. 3  對選擇的模式匹配
15. 4  類型聲明
15. 5  遞歸類型
15. 6  結構序
15. 7  迭代中的模式匹配
15. 8  例子：樹的求和
15. 9  練習
第16章  模塊和封裝
16. 1  模塊聲明
16. 2  引出的和局部的過程
16. 3  模塊的精化
16. 4  引入過程和變量
16. 5  定義模塊與實現(xiàn)模塊
16. 6  循環(huán)引出／引入
16. 7  代碼中的初始式
16. 8  練習
第17章  狀態(tài)變換和數(shù)據(jù)精化
17. 1  我們還不能證明什么
17. 2  狀態(tài)變換
17. 3  強制
17. 4  加入變量：擴張
17. 5  刪除輔助變量：收縮
17. 6  數(shù)據(jù)精化的一個實例
17. 7  函數(shù)式抽象
17. 8  練習
第18章  實例研究：多數(shù)表決
18. 1  代碼精化
18. 2  贏得選舉
18. 3  直接開發(fā)得到平方型代碼
18. 4  第二個嘗試更快速
18. 5  代碼變換
18. 6  簡化的代碼
18. 7  練習
第19章  起源和總結
第20章實例研究：分段問題
20. 1  均勻分段
20. 2  最小損耗
20. 3  生成均勻分段
20. 4  練習
第21章  實例研究：直方圖的最大矩形
21. 1  做好基礎性工作
21. 2  分治法
21. 3  強化不變式以恢復可行性
21. 4  引入遞歸
21. 5  包裝
21. 6  練習
第22章  實例研究：一個mail系統(tǒng)
22. 1  第一個規(guī)范
22. 2  標識符的重用
22. 3  第二個規(guī)范：重用
22. 4  第三個規(guī)范：延遲
22. 5  第一個開發(fā)：異步發(fā)送
22. 6  第二步開發(fā)：收條
22. 7  最后的開發(fā)步驟：打包
22. 8  練習
第23章  語義
23. 1  引言
23. 2  謂詞變換器
23. 3  語義定義
附錄A  謂詞演算的一些法則
A. 1  一些命題法則
A. 2  一些謂詞法則
附錄B  習題解答
附錄C  法則匯編
參考文獻
索引