|
题名:
|
嵌入式系统设计的验证与调试技术 qian ru shi xi tong she ji de yan zheng yu tiao shi ji shu / (印度)Abhik Roychoudhury著 ; 田尊华译 , |
|
ISBN:
|
978-7-302-23072-4 价格： CNY29.00 |
|
语种:
|
chieng |
|
载体形态:
|
11,200页 23cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2010 |
|
内容提要:
|
本书内容包括：嵌入式系统验证简介、模型验证、通信验证、性能验证、功能验证。 |
|
主题词:
|
程序设计 教材 |
|
主题词:
|
程序设计 |
|
中图分类法:
|
TP311.1 版次： 4 |
|
主要责任者:
|
(印度)罗伊乔杜里 ( yin du) luo yi qiao du li (Roychoudhury, Abhik) 著 |
|
次要责任者:
|
田尊华 tian zun hua (1976~) 译 |
|
附注:
|
Elesvier(Singapore) Pte Ltd.授权出版 |