书籍详情

程序设计方法学

程序设计方法学

作者：胡正国，蔡经球编著

出版社：西北工业大学出版社

出版时间：1992-11-01

ISBN：9787561200001

定价：¥2.53

内容简介

　　内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。

作者简介

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

目录

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

猜您喜欢

软件的质量 Software quality

模型驱动架构

聚焦产品的软件处理改进 /2006年第7届国际会议录

读书导航