自动程序设计

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源136 ≥128页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

目录 1

引言 1

第一部分形式化的程序设计 1

一、规范、程序和程序设计 1

二、最弱前置条件概念的引入 3

三、wp的性质 9

四、程序设计语言的wp语义 14

五、关于选择语句和循环语句的定理 25

六、程序设计的形式化方法 31

七、基于wp演算的程序正确性证明 33

八、基于wp演算的形式化程序设计 41

九、面向目标的程序设计 42

十、不变式推导技术 50

第二部分自动化的程序设计 79

十一、概论 79

十二、规范模式 81

十三、逻辑程序设计语言PROLOG简介 85

十四、规范演绎 89

十五、知识库 95

十六、程序综合的结构 101

十七、PROLOG程序的自动综合 102

十八、知识库的自学习 126

参考文献 128