书目信息 |
题名: |
实时嵌入式系统设计方法
|
|
作者: | 陈香兰 , 王超 , 周学海 , 李曦 编著 | |
分册: | ||
出版信息: | 北京 清华大学出版社 2022.01 |
|
页数: | 301页 | |
开本: | 26cm | |
丛书名: | 高等学校软件工程专业系列教材 | |
单 册: | ||
中图分类: | TP360.21 | |
科图分类: | ||
主题词: | 微型计算机--wei xing ji suan ji--系统设计--高等学校--教材 | |
电子资源: | ||
ISBN: | 978-7-302-59032-3 |
000 | 01515nam 2200313 450 | |
001 | CAL 0120217340864 | |
010 | @a978-7-302-59032-3@dCNY59.80 | |
100 | @a20220906d2022 em y0chiy50 ea | |
101 | 0 | @achi |
102 | @aCN@b110000 | |
105 | @aa a 000yy | |
106 | @ar | |
200 | 1 | @a实时嵌入式系统设计方法@Ashi shi qian ru shi xi tong she ji fang fa@f李曦 ... [等] 编著 |
210 | @a北京@c清华大学出版社@d2022.01 | |
215 | @a301页@c图@d26cm | |
225 | 2 | @a高等学校软件工程专业系列教材@Agao deng xue xiao ruan jian gong cheng zhuan ye xi lie jiao cai |
300 | @a教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材 | |
304 | @a题名页题其余责任者: 陈香兰, 王超, 周学海 | |
320 | @a有书目 (第299-301页) | |
330 | @a本书将以“建模-设计-分析”为核心讨论系统级设计方法。全书围绕反应式、分布式和实时性等关键系统特征, 以“构建正确”和“关注分离”等设计理念为核心, 聚焦构件化、模型化设计方法。主要内容包括硬件平台、实时操作系统、实时任务调度与资源管理、多处理器与分布式系统、实时软件设计、形式化方法等内容, 涵盖结构化系统设计过程中的规约、建模、分析、验证、软硬件实现等阶段。需要读者具备信息技术领域的基础知识。 | |
410 | 0 | @12001 @a高等学校软件工程专业系列教材 |
606 | 0 | @a微型计算机@Awei xing ji suan ji@x系统设计@x高等学校@j教材 |
690 | @aTP360.21@v5 | |
701 | 0 | @a陈香兰@Achen xiang lan@4编著 |
701 | 0 | @a王超@Awang chao@4编著 |
701 | 0 | @a周学海@Azhou xue hai@4编著 |
701 | 0 | @a李曦@Ali xi@4编著 |
801 | 0 | @aCN@c20220906 |
905 | @a河南城建学院图书馆@dTP360.21@eL290@f2 | |
实时嵌入式系统设计方法/李曦 ... [等] 编著.-北京:清华大学出版社,2022.01 |
301页:图;26cm.-(高等学校软件工程专业系列教材) |
教育部高等学校软件工程专业教学指导委员会 软件工程专业推荐教材 |
ISBN 978-7-302-59032-3:CNY59.80 |
本书将以“建模-设计-分析”为核心讨论系统级设计方法。全书围绕反应式、分布式和实时性等关键系统特征, 以“构建正确”和“关注分离”等设计理念为核心, 聚焦构件化、模型化设计方法。主要内容包括硬件平台、实时操作系统、实时任务调度与资源管理、多处理器与分布式系统、实时软件设计、形式化方法等内容, 涵盖结构化系统设计过程中的规约、建模、分析、验证、软硬件实现等阶段。需要读者具备信息技术领域的基础知识。 |
● |
相关链接 |
正题名:实时嵌入式系统设计方法
索取号:TP360.21/L290
 
预约/预借
序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
1 | 1564733 | 215647334 | 自科库301/ [索取号:TP360.21/L290] | 在馆 | |
2 | 1564734 | 215647343 | 自科库301/ [索取号:TP360.21/L290] | 在馆 |