计算机程序文库下载_中国高校课件下载中心

文档格式：PPS　文档大小：1.19MB　文档页数：29

3.4 VB程序构成与VB基本语句 3.5 输入/输出设计实例

文档格式：PDF　文档大小：621.57KB　文档页数：29

华东理工大学：《VB程序设计》课程教学资源（学习指导）第4章 VB程序设计

文档格式：PDF　文档大小：438.11KB　文档页数：99

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第4章抽象解释（Nielson等）Principles of Program Analysis - Abstract Interpretation

文档格式：PPT　文档大小：246KB　文档页数：15

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第3章基于约束的分析（补充）

文档格式：PDF　文档大小：305.04KB　文档页数：99

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis

文档格式：PPT　文档大小：241.5KB　文档页数：16

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第2章数据流分析（补充）

文档格式：PDF　文档大小：513.93KB　文档页数：151

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis

文档格式：PPT　文档大小：311KB　文档页数：12

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第1章引言（主讲：陈意云）

文档格式：PPT　文档大小：286KB　文档页数：42

关系表达式和逻辑表达式用行F语句实现选择结构用块实现选择多分支选择结构多分支转移语句选择结构程序设计

文档格式：PPT　文档大小：306.5KB　文档页数：32

• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍