MARC状态：审校 文献类型：中文图书 浏览次数：143
- 题名/责任者:
- 嵌入式实时系统:调度、分析和验证/(美)Albert M.K. Cheng著 周强，李峭，杨昕欣译
- 出版发行项:
- 北京:北京航空航天大学出版社,2015
- ISBN及定价:
- 978-7-5124-1871-4/CNY69.00
- 载体形态项:
- 403页;24cm
- 并列正题名:
- Real-time systems:scheduling, analysis, and verification
- 丛编项:
- 嵌入式系统译丛
- 个人责任者:
- (美) 陈 (Cheng, Albert M. K.) 著
- 个人次要责任者:
- 周强 译
- 个人次要责任者:
- 李峭 译
- 个人次要责任者:
- 杨昕欣 译
- 学科主题:
- 微型计算机-系统设计
- 中图法分类号:
- TP360.21
- 提要文摘附注:
- 本书围绕嵌入式实时系统的调度、分析和验证，分为12章，内容涉及：非实时系统的分析与验证、实时调度和调度性分析、有限状态系统的模型检测、利用时间自动机进行验证、时间相关的Petri网、进程代数、基于命题逻辑规则系统的设计与分析等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP360.21/700 | 72057873 | - |  密集书库126（2F咨询台委托借阅）
M0070846 |
可借 | 密集书库126（2F咨询台委托借阅） |
| TP360.21/700 | 72057871 | - | 自然书库（3F东）
|
可借 | |
| TP360.21/700 | 72057872 | - | 自然书库（3F东）
|
可借 |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架