|
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/301自科库 62排2列4层/
[索取号:TP360.21/L290]
|
在馆
|
|
|
2
|
1564734
|
215647343
|
自科库301/301自科库 62排2列4层/
[索取号:TP360.21/L290]
|
在馆
|
|
