返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
计算
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
作者:"(美) Edward Ashford Lee, (美) Sanjit Arunkumar Seshia, 李实英, 贺蓉, 李仁发"
出版年:"20120101"
嵌入式系统导论: CPS方法
:(美) Edward Ashford Lee, (美) Sanjit Arunkumar Seshia, 李实英, 贺蓉, 李仁发
作者：
(美) Edward Ashford Lee, (美) Sanjit Arunkumar Seshia, 李实英, 贺蓉, 李仁发
出版社：
机械工业出版社
出版时间：
20120101
ISBN：
978-7-111-36021-6
索书号：
TP360.21/94
分类号：
TP360.21
页数：
13, 256页
价格：
CNY55.00
丛书：
计算机科学丛书
复本数：
在馆数：
累借天数：
累借次数：
本书分成四大部分。第一部分分别讲述动态建模、离散建模和混合建模，以及状态机的并发组合与并发计算模型；第二部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPs中的主要作用；第三部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法；第四部分包括两个附录，提供了一些数学和计算机科学的背景知识，有助于读者加深对文中所介绍知识的理解。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
机械工业出版社
(
1
)
只显示前10条......
机械工业出版社
(
1
)
查看更多信息......
作者
(美) Edward Ashford Lee, (美) Sanjit Arunkumar Seshia, 李实英, 贺蓉, 李仁发
(
1
)
只显示前10条......
(美) Edward Ashford Lee, (美) Sanjit Arunkumar Seshia, 李实英, 贺蓉, 李仁发
(
1
)
查看更多信息......
出版年
20120101
(
1
)
只显示前10条......
20120101
(
1
)
查看更多信息......
计算
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：