成功加入购物车
胡正国 、 吴健 、 邓正宏 著 / 国防工业出版社 / 2003-01 / 平装
售价 ¥ 8.00 3.5折
定价 ¥23.00
品相 九品品相描述
优惠 满包邮
延迟发货说明
上书时间2021-07-13
卖家超过10天未登录
程序设计方法学
本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
本书可供大专院校计算机专业学生使用,也可供硕士研究生及从事计算机工作的科研人员参考。
第1章程序设计方法简介第1节程序设计方法学的产生第2节结构程序设计及其讨论的一些主要问题习题第2章结构化程序第1节什么是结构化程序第2节结构化定理第3节一些新的控制结构习题第3章模块化程序设计第1节MODULA-2语言中的模块化结构第2节ADA语言中的程序包习题第4章面向对象的程序设计方法第1节什么是面向对象的程序设计第2节应用框架第3节设计模式第4节浅谈面向对象设计语言习题第5章程序正确性证明第1节概述第2节不变式断言法第3节子目标断言法第4节公理化方法第5节良序集方法第6节计数器方法习题第6章结构化程序的正确性证明第1节正确性定理第2节证明程序正确性的代数方法第3节产生循环不变式的一种方法习题第7章递归程序及其正确性证明第1节迭代与递归第2节递归程序的一种模型第3节递归程序的正确性证明习题第8章程序的形式推导技术第1节谓词变换器及其性质第2节面向目标的程序推导第3节循环不变式的推导技术习题第9章程序变换技术第1节程序变换的基本思想和基本规则第2节程序生成阶段第3节程序改进阶段(I)第4节程序改进阶段(II)第5节程序改进阶段(III)第6节程序变换研究中的若干问题习题第10章大型程序设计方法学基础第1节抽象数据类型的代数规范第2节抽象数据类型的形式化基础第3节形式规范的应用参考文献
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30