书籍详情

程序设计方法学教程

程序设计方法学教程

作者：刘宗田编著

出版社：机械工业出版社

出版时间：1992-10-01

ISBN：9787111032823

定价：¥2.75

内容简介

　　本书介绍了程序设计方法学所含的结构程序设计、程序的正确性证明、不动点理论、程序推导和变换等内容。

作者简介

暂缺《程序设计方法学教程》作者简介

目录

暂缺《程序设计方法学教程》目录

猜您喜欢

大数据实时流处理技术实战

着重产品的软件进程改善

读书导航