|
题名:
|
嵌入式系统设计的验证与调试技术 / (印度)Abhik Roychoudhury著 , 田尊华译 |
|
ISBN:
|
978-7-302-23072-4 价格： CNY29.00 |
|
语种:
|
chi |
|
载体形态:
|
11,200页 23cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2010 |
|
内容提要:
|
本书内容包括：嵌入式系统验证简介、模型验证、通信验证、性能验证、功能验证。 |
|
主题词:
|
程序设计 |
|
中图分类法:
|
TP311.1 版次： 4 |
|
主要责任者:
|
罗伊乔杜里 著 |
|
次要责任者:
|
田尊华 译 |
|
附注:
|
国外计算机科学经典教材 |
|
索书号:
|
TP311.1/6224 |