书籍详情

程序设计方法学引论

程序设计方法学引论

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

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

出版时间：1989-01-01

ISBN：9787560903200

定价：¥1.60

内容简介

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

作者简介

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

目录

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

猜您喜欢

网络安装与综合布线

特种兵学校AR科普书系列

读书导航