计算方法文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：138.9KB　文档页数：1

上海交通大学：《程序设计思想与方法》课程教学资源_作业_第一次作业内容要求

文档格式：DOC　文档大小：25.5KB　文档页数：1

上海交通大学：《程序设计思想与方法》课程教学资源_作业_第一次作业内容要求

文档格式：DOC　文档大小：25KB　文档页数：3

上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第四次上机_Python第四次上机题目

文档格式：DOC　文档大小：27KB　文档页数：2

上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第五次上机_第五次上机

文档格式：DOC　文档大小：37KB　文档页数：4

上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第三次上机_Python第三次上机解析-update

文档格式：DOC　文档大小：29KB　文档页数：2

上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第三次上机_python第三次上机

文档格式：PDF　文档大小：173.32KB　文档页数：4

上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第一次上机_第一次上机内容_10.18

文档格式：DOC　文档大小：35.5KB　文档页数：4

上海交通大学：《程序设计思想与方法》课程教学资源（上机课）第一次上机_第一次上机内容_10.18

文档格式：PDF　文档大小：1.89MB　文档页数：62

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时嵌入式软件设计（控制系统，DARTS，EA，语言）

文档格式：PDF　文档大小：1.21MB　文档页数：44

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？