結構化程式設計和DITSF語言

《結構化程式設計和DITSF語言》是1988年1月科學出版社出版的圖書，作者是鐘萬勰。

基本介紹

• 書名：結構化程式設計和DITSF語言
• 作者：鐘萬勰
• 出版時間：1988年1月
• ISBN：7030000374

內容簡介

本書結合程式設計方法學和程式正確性證明的思想，介紹大連工學院研製的結構化FORTRAN語言DITSF。

圖書目錄

目錄

第一章 緒論

第二章 FORTRAN語言

第三章 結構化程式

第四章 結構化程式設計語言——DITSF

第五章 DITSF語言的翻譯公式

第六章 關於DITSF語言翻譯程式DITSFTR的設計與實現

第七章 DITSF語言的套用舉例

第八章 DITSF語言在不同類型計算機上的實現和使用方法

第九章 結構化程式正確性證明簡介

附錄1 內部函式表

附錄2 基本外部函式表

附錄3 DITSF語法錯誤對照表

參考文獻