书目详细信息
： 嵌入式系统设计的验证与调试技术
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-23072-4:CNY29.00 |
|---|---|
| 作品语种： | chi inc |
| 出版国别： | CN 110000 |
| 题名责任者项： | 嵌入式系统设计的验证与调试技术/.(印度) Abhik Roychoudhury著/.田尊华译 |
| 出版发行项： | 北京:,清华大学出版社:,2010 |
| 载体形态项： | 200页:;+图:;+23cm |
| 丛编项： | 国外计算机科学经典教材 |
| 提要文摘： | 本书介绍了适用于嵌入式系统设计整个生命周期的实用调试和验证技术，涵盖了嵌入式系统设计和各个主要的抽象层次，内容包括嵌入式系统验证简介、模型验证、通信验证、性能验证、性能验证等。 |
| 并列题名： | Embedded systems and software validation eng |
| 题名主题： | 微型计算机 系统设计 |
| 中图分类： | TP360.21 |
| 个人名称等同： | 罗伊乔杜里 著 |
| 个人名称次要： | 田尊华 译 |
| 记录来源： | CN 浙江省新华书店集团公司 20100901 |