题名:
程序设计方法学教程
/ 刘宗田编著 ,
ISBN:
7-111-03282-9 价格： $2.75
语种:
chi
载体形态:
134页 26cm
出版发行:
出版地： 北京 出版社：
机械工业出版社
出版日期： 1992.10
内容提要:
本书介绍了程序设计方法学所含的结构程序设计、程序的正确性证明、不动点理论、程序推导和变换等内容。
主题词:
程序设计
高等学校
中图分类法:
TP31 版次： 三版
主要责任者:
刘宗田
编著
附注:
高等学校试用教材
责任者附注:
刘宗田,合肥工业大学工作
补充题名:
程序设计 方法学
科图分类法:
版次：