机读格式显示(MARC)

• 000 02256nam 2200457 450

• 001 0000328646

• 005 20181220153900.0

• 010 __ |a 978-7-111-60811-0 |d CNY89.00

• 021 __ |a CN |b 01-2017-0151

• 099 __ |a CAL 012018139420

• 100 __ |a 20181105d2018 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 嵌入式系统导论 |A qian ru shi xi tong dao lun |e CPS方法 |d = Introduction to embedded systems |e a cyber-physical systems approach |f (美) 爱德华·阿什福德·李(Edward Ashford Lee), 桑吉特·阿伦库马尔·塞希阿(Sanjit Arunkumar Seshia)著 |g 张凯龙译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2018

• 215 __ |a XVI, 307页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 305 __ |a 据原书第2版译出

• 314 __ |a 爱德华·阿什福德·李(Edward Ashford Lee)，加州大学伯克利分校电子工程与计算机科学系（EECS）罗伯特·S.佩珀（Robert S. Pepper）杰出教授。

• 314 __ |a 桑吉特·阿伦库马尔·塞希阿(Sanjit Arunkumar Seshia)，加州大学伯克利分校电子工程与计算机科学系教授；研究兴趣集中于可信计算、计算逻辑和形式化方法及其在嵌入式系统、计算机安全、电子设计自动化以及合成生物学等领域问题中的应用。

• 314 __ |a 张凯龙，博士、博士后，西北工业大学计算机学院副教授，西北工业大学一巴黎高科MINES机器人与群智能系统联合实验室主任。

• 320 __ |a 有书目 (第292-305页)

• 330 __ |a 本书从CPS的视角，围绕嵌入式系统的建模、设计和分析三方面，深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节，重点是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。第2版增加了两章，第7章覆盖传感器和作动器，强调建模；第17章给出嵌入式系统的安全和隐私方面的基本内容。

• 410 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a Introduction to embedded systems : a cyber-physical systems approach |z eng

• 606 0_ |a 微型计算机 |A wei xing ji suan ji |x 系统设计

• 690 __ |a TP360.21 |v 5

• 701 _1 |c (美) |a 李 |A li |c (Lee, Edward Ashford) |4 著

• 701 _1 |c (美) |a 塞希阿 |A sai xi a |c (Seshia, Sanjit Arunkumar) |4 著

• 702 _0 |a 张凯龙 |A Zhang Kailong |4 译

• 801 _0 |a CN |b NEU |c 20181105

• 905 __ |a XATU |d TP360.21/54

• 920 __ |a 221060 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 211060 |z 2

• 920 __ |a 237010 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 221020 |z 1

• 998 __ |a NEU