书籍详情

程序设计方法学引论

程序设计方法学引论

作者：陶葆兰，李庆华编著

出版社：华中理工大学出版社

出版时间：1989-01-01

ISBN：9787560903200

定价：¥1.60

内容简介

　　本书论述了程序设计方法学的基本原理和方法，着重阐述程序构造和正确性证明同时进行，并以正确性证明为主导的研制程序的原则和方法。

作者简介

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

目录

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

猜您喜欢

现代汉语概述回指新探

2021中级经济师考点速记手册

2021众合法考马峰理论法专题讲座精讲卷

读书导航