注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术计算机/网络程序设计方法学引论

程序设计方法学引论

程序设计方法学引论

定 价:¥1.60

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

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

内容简介

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

作者简介

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

图书目录

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

本目录推荐