-
結構程序設計
(1980年科學出版社出版的圖書)
鎖定
- 中文名
- 結構程序設計
- 作 者
- O.-J.達爾
- 出版社
- 科學出版社
- 出版時間
- 1980年11月
- 統一書號
- 15031.306 [2]
結構程序設計內容簡介
這本論文集包括結構程序設計、數據結構設計和層次程序結構三部分.結構程序設計(包括數據設計)是六十年代末進入軟件工程化時期所形成的程序設計方法學的主要內容.本書介紹了結構程序設計的基本思想、原則和方法,探討了程序設計的一般思維方法和可用的數學工具,研究了防止程序出錯和正確性證明的方法,討論了大型程序和數據結構的組成方法和質量標準.
本書可供計算機科學和計算機工程的科研人員,高等院校有關專業的師生和軟件工作人員閲讀.
結構程序設計圖書目錄
- 目錄
- Ⅰ.結構程序設計札記 E.W.戴克斯特拉
- Ⅱ.數據結構札記 C.A.R.霍爾