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

文档格式：PDF　文档大小：295.07KB　文档页数：93

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第5章类型和效果系统（Nielson等）Principles of Program Analysis - Type and Effect Systems

文档格式：PPT　文档大小：268KB　文档页数：21

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第4章抽象解释（补充）

文档格式：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　文档大小：258.5KB　文档页数：40

南京航空航天大学：《程序设计》课程教学课件（PPT讲稿，二）Chapter 1-C++程序设计基础

文档格式：PPTX　文档大小：3.36MB　文档页数：24

南京航空航天大学：《程序设计》课程教学课件（PPT讲稿，一）01 计算机和程序

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

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

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

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

文档格式：PPS　文档大小：1.05MB　文档页数：22

华东理工大学：《VB程序设计》课程教学资源（PPT课件）07 VB程序控制结构（2）