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