-
>
2021年国家统一法律职业资格考试案例分析指导用书(全2册)
-
>
新东方(2021)十天搞定考研词汇(便携版)
-
>
安全生产管理 2019版中级
-
>
马克思主义基本原理概论 自学考试学习读本 (2018年版)
-
>
中国近现代史纲要自学考试学习读本(2018年版)
-
>
呼兰河传
-
>
长篇小说:格列佛游记
嵌入式实时系统-调度.分析和验证 版权信息
- ISBN:9787512418714
- 条形码:9787512418714 ; 978-7-5124-1871-4
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>>
嵌入式实时系统-调度.分析和验证 本书特色
阿尔伯特陈*作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析(forreal analysis)及验证。全书特别列举了大量关于安全关键系统的工程实例,从简单系统(如温度控制系统、面包机和电饭煲)到高度复杂系统(如飞机和航天飞机),通过将上述形式化方法成功应用于这些工程项目,有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。 本书面向高等院校本科生和研究生,作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用;也可面向业界从业者和研究人员,作为参考书使用。
嵌入式实时系统-调度.分析和验证 内容简介
本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础.其核心是面向实时系统的形式化分析(formalanalysis)及验证.全书特别列举了大量关于安全关键系统的工程实例。
嵌入式实时系统-调度.分析和验证 目录
- >
山海经
山海经
¥20.4¥68.0 - >
推拿
推拿
¥12.2¥32.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
朝闻道
朝闻道
¥13.8¥23.8 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.1¥45.8 - >
随园食单
随园食单
¥24.0¥48.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0
-
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38 -
1980年代:小说六记
¥52.8¥69 -
中图网经典初版本封面-“老人与海”冰箱贴
¥20¥40