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

文档格式：DOC　文档大小：110KB　文档页数：12

广东财经大学：信息学院《信息系统开发方法与工具》课程教学大纲

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

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT15 并发与多线程

文档格式：PPT　文档大小：202KB　文档页数：13

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT14 Python GUI工具包：Tkinter

文档格式：PPT　文档大小：196.5KB　文档页数：20

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT13 算法设计分析

文档格式：PPT　文档大小：289KB　文档页数：13

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT12 面向对象设计

文档格式：PPT　文档大小：249.5KB　文档页数：18

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT11 数据集合体

文档格式：PPT　文档大小：303.5KB　文档页数：23

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT10 类的定义

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

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

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

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

文档格式：PDF　文档大小：2.76MB　文档页数：70

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式系统形式化规范与建模（FSM，KPN，SDF）