MARC状态:已编 文献类型:中文图书 浏览次数:5
- 题名/责任者:
- 嵌入式系统导论:CPS方法/(美) 爱德华·阿什福德·李, 桑吉特·阿伦库马尔·塞希阿著 张凯龙译
- 出版发行项:
- 北京:机械工业出版社,2018
- ISBN及定价:
- 978-7-111-60811-0/CNY89.00
- 载体形态项:
- XVI, 307页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 李 (Lee, Edward Ashford) 著
- 个人责任者:
- 塞希阿 (Seshia, Sanjit Arunkumar) 著
- 个人次要责任者:
- 张凯龙 译
- 学科主题:
- 微型计算机-系统设计
- 中图法分类号:
- TP360
- 版本附注:
- 据原书第2版译出
- 责任者附注:
- 爱德华·阿什福德·李(Edward Ashford Lee),加州大学伯克利分校电子工程与计算机科学系(EECS)罗伯特·S.佩珀(Robert S. Pepper)杰出教授。
- 责任者附注:
- 桑吉特·阿伦库马尔·塞希阿(Sanjit Arunkumar Seshia),加州大学伯克利分校电子工程与计算机科学系教授;研究兴趣集中于可信计算、计算逻辑和形式化方法及其在嵌入式系统、计算机安全、电子设计自动化以及合成生物学等领域问题中的应用。
- 责任者附注:
- 张凯龙,博士、博士后,西北工业大学计算机学院副教授,西北工业大学一巴黎高科MINES机器人与群智能系统联合实验室主任。
- 书目附注:
- 有书目 (第292-305页)
- 提要文摘附注:
- 本书从CPS的视角,围绕嵌入式系统的建模、设计和分析三方面,深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节,重点是论述系统模型与系统实现的关系,以及软件和硬件与物理环境的相互作用。第2版增加了两章,第7章覆盖传感器和作动器,强调建模;第17章给出嵌入式系统的安全和隐私方面的基本内容。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP360/100 | A3013403 | 自然科学书库(七里坪新馆六楼) | 借出-应还日期:2025-01-04 | 自然科学书库(七里坪新馆六楼) | |
TP360/100 | A3013404 | 自然科学书库(七里坪新馆六楼) | 借出-应还日期:2024-12-29 | 自然科学书库(七里坪新馆六楼) | |
TP360/100 | A3013405 | 自然科学书库(七里坪新馆六楼) | 借出-应还日期:2024-12-30 | 自然科学书库(七里坪新馆六楼) |
显示全部馆藏信息