返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
计算机
共有
1
条记录
页码:
1
/
1
每页显示:
10
记录
跳转:
作者:"(印度) Abhik Roychoudhury, 田尊华"
出版年:"20100001"
嵌入式系统设计的验证与调试技术
:(印度) Abhik Roychoudhury, 田尊华
作者:
(印度) Abhik Roychoudhury, 田尊华
出版社:
清华大学出版社
出版时间:
20100001
ISBN:
978-7-302-23072-4
索书号:
TP360.21/74
分类号:
TP360.21
页数:
XI, 200页
价格:
CNY29.00
丛书:
国外计算机科学经典教材
复本数:
在馆数:
累借天数:
累借次数:
本书分为嵌入式系统验证简介、模型验证、通信验证、性能验证、功能验证5章, 内容包括: 平台与系统行为、模型设计准则、非形式化需求: 案例分析、通用建模概念等。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
清华大学出版社
(
1
)
只显示前10条......
清华大学出版社
(
1
)
查看更多信息......
作者
(印度) Abhik Roychoudhury, 田尊华
(
1
)
只显示前10条......
(印度) Abhik Roychoudhury, 田尊华
(
1
)
查看更多信息......
出版年
20100001
(
1
)
只显示前10条......
20100001
(
1
)
查看更多信息......
计算机
共有
1
条记录
页码:
1
/
1
每页显示:
10
记录
跳转: