注册 | 登录读书好，好读书，读好书！

当前位置：首页出版图书科学技术计算机/网络程序设计方法学引论

程序设计方法学引论

程序设计方法学引论

定　价：¥1.60

作　者：	陶葆兰，李庆华编著
出版社：	华中理工大学出版社
丛编项：
标　签：	程序设计

ISBN：	9787560903200	出版时间：	1989-01-01	包装：
开本：	20cm	页数：	241页	字数：

内容简介

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

作者简介

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

图书目录

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

本目录推荐