西安交通大学文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：444.56KB　文档页数：42

4.1 Non-execution based Verification 4.2 Execution based Verification 4.3 Formal verification 4.4 Other methods

文档格式：PDF　文档大小：633.02KB　文档页数：38

1. Java 2. Eclipse 3. JUNIT 4. EMMA 5. 实例

文档格式：PDF　文档大小：390.98KB　文档页数：20

上海交通大学：《软件测试与质量控制》课程教学资源（课件讲稿）第2章 Prerequisites Mathematics knowledge of software test

文档格式：PDF　文档大小：1.22MB　文档页数：65

1.1 Importance of software testing 1.2 Concepts and Glossary

文档格式：PPT　文档大小：495.5KB　文档页数：22

·定义与运算 ·方向余弦阵

文档格式：PDF　文档大小：2.26MB　文档页数：73

上海交通大学：《质量管理学》教学资源_分类_质量管理学课件（质量管理的历史、演绎）

文档格式：PDF　文档大小：875.17KB　文档页数：7

上海交通大学：《质量管理学》教学资源_作业阅读材料 A Man of Duality

文档格式：PPT　文档大小：337.5KB　文档页数：43

第一节标准资产定价模型第三节套利定价模型单因素APT模型的严格证明

文档格式：PPT　文档大小：2.17MB　文档页数：11

上海交通大学：《证券投资分析》课程教学资源（PPT课件）第六章技术分析-附录

文档格式：PPT　文档大小：265.5KB　文档页数：19

上海交通大学：《证券投资分析》课程教学资源（PPT课件）第八章简化资产组合选择程序