T007693　程序设计方法学

---

胡正国等编著。

西北工业大学出版社1987年2月版，1992年11月版。21．0万字。

共10章：第一章，程序设计方法学简介；第二章，结构化程序；第三章，模块化程序设计；第四章，程序正确性证明；第五章，结构化程序的正确性证明；第六章，递归程序及其正确性证明；第七章，程序的形式推导技术；第八章，程序变换技术；第九章，面向对象的程序设计方法；第十章，软件开发方法与工具简介。第二版对原有内容作了修改和调整，并补充了模块化程序设计、面向对象的程序设计方法和快速原型技术的内容。