|
题名:
|
嵌入式系统设计的验证与调试技术 / (印度) Abhik Roychoudhury著 , 田尊华译 |
|
ISBN:
|
978-7-302-23072-4 价格： CNY29.00 |
|
语种:
|
chi |
|
载体形态:
|
XI, 200页 图 23cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2010.07 |
|
内容提要:
|
本书分为嵌入式系统验证简介、模型验证、通信验证、性能验证、功能验证5章, 内容包括: 平台与系统行为、模型设计准则、非形式化需求: 案例分析、通用建模概念等。 |
|
主题词:
|
程序设计 |
|
中图分类法:
|
TP311.1 版次： 4 |
|
主要责任者:
|
Roychoudhury, 著 |
|
主要责任者:
|
罗伊乔杜里 著 |
|
次要责任者:
|
田尊华 译 |