|
000
|
01678nam0 2200349 450
|
|
001
|
0112329846
|
|
005
|
20121030130725
|
|
010
|
|
@a978-7-111-36021-6@dCNY55.00
|
|
100
|
|
@a20120618d2012 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a嵌入式系统导论@AKan Ru Shi Xi Tong Dao Lun@eCPS方法@f(美)Edward Ashford Lee，(美)Sanjit Arunkumar Seshia著@g李实英，贺蓉，李仁发译
|
|
210
|
|
@a北京@c机械工业出版社@d2012.01
|
|
215
|
|
@a13,256页@c图@d26cm
|
|
225
|
2
|
@a计算机科学丛书@AJi Suan Ji Ke Xue Cong Shu
|
|
314
|
|
@aEdward Ashford Lee,拥有加州大学伯克利分校博士学位。
|
|
320
|
|
@a有书目(第241-256页)
|
|
330
|
|
@a本书分成四大部分。第一部分分别讲述动态建模、离散建模和混合建模，以及状态机的并发组合与并发计算模型；第二部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPs中的主要作用；第三部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法；第四部分包括两个附录，提供了一些数学和计算机科学的背景知识，有助于读者加深对文中所介绍知识的理解。
|
|
333
|
|
@a本书适合作为高等院校相关专业“嵌入式系统”课程的教材或教学参考书。
|
|
461
|
0
|
@12001 计算机科学丛书
|
|
517
|
1
|
@aCPS方法@ACPS Fang Fa
|
|
606
|
0
|
@a微型计算机@AWei Xing Ji Suan Ji@x系统设计
|
|
690
|
|
@aTP36@v4
|
|
701
|
1
|
@a李@ALi@bE.A.@g(Lee, Edward Ashford)@4著
|
|
701
|
1
|
@a塞希阿@ASai Xi@bS.A.@g(Seshia, Sanjit Arunkumar)@4著
|
|
702
|
0
|
@a李实英@ALi Shi Ying@4译
|
|
702
|
0
|
@a贺蓉@AHe Rong@4译
|
|
702
|
0
|
@a李仁发@ALi Ren Fa@4译
|
|
801
|
0
|
@aCN@bCDNYKJZYXY@c20120618
|
|
905
|
|
@aCDNYKJZYXY@dTP36@e304@f3
|
|
|
|
|
| |
| 嵌入式系统导论：CPS方法/(美)Edward Ashford Lee，(美)Sanjit Arunkumar Seshia著/李实英，贺蓉，李仁发译.-北京：机械工业出版社，2012.01 |
| 13,256页：图；26cm.-(计算机科学丛书) |
| 使用对象：本书适合作为高等院校相关专业“嵌入式系统”课程的教材或教学参考书。 |
| |
| ISBN 978-7-111-36021-6：CNY55.00 |
| 本书分成四大部分。第一部分分别讲述动态建模、离散建模和混合建模，以及状态机的并发组合与并发计算模型；第二部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPs中的主要作用；第三部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法；第四部分包括两个附录，提供了一些数学和计算机科学的背景知识，有助于读者加深对文中所介绍知识的理解。 |
| ● |
正题名：嵌入式系统导论
索取号：TP36/304
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
448011
|
300448011
|
流通五库四楼/
[索取号:TP36/304]
|
在馆
|
|
|
2
|
448012
|
300448012
|
流通五库四楼/
[索取号:TP36/304]
|
在馆
|
|
|
3
|
448013
|
300448013
|
流通五库四楼/
[索取号:TP36/304]
|
在馆
|
|
