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

文档格式：PPT　文档大小：218KB　文档页数：10

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第5章类型和效果系统（补充）

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

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

文档格式：PPT　文档大小：258.5KB　文档页数：40

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

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

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

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

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

文档格式：PPS　文档大小：1.06MB　文档页数：21

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

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

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

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

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

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

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

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

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