| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
文献所属馆:
文献所属馆:
嵌入式系统设计的验证与调试技术, (印度)Abhik Roychoudhury著 |
|
|
ISBN:
|
978-7-302-23072-4 价格： CNY29.00 |
|
语种:
|
chi |
|
题名:
|
嵌入式系统设计的验证与调试技术 kan ru shi xi tong she ji de yan zheng yu tiao shi ji shu / (印度)Abhik Roychoudhury著 , 田尊华译 |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2010 |
|
载体形态:
|
11,200页 23cm |
|
摘要:
|
本书内容包括：嵌入式系统验证简介、模型验证、通信验证、性能验证、功能验证。 |
|
主题:
|
程序设计 |
|
中图分类:
|
TP311.1 版次： 5 |
|
主要著者:
|
罗伊乔杜里 luo yi qiao du li 著 |
|
次要著者:
|
田尊华 tian zun hua 译 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01190nam2 2200289 450 001| |012011008483 －－1| |辽宁北配 010| |□a978-7-302-23072-4□dCNY29.00 100| |□a20100809d2010 em y0chiy50 ea 101|1 |□achi□ceng 102| |□aCN□b110000 105| |□ay z 000yy 106| |□ar 200|1 |□a嵌入式系统设计的验证与调试技术□9kan ru shi - | |xi tong she ji de yan zheng yu- | | tiao shi ji shu□f(印度)Abhik Ro- | |ychoudhury著□g田尊华译 210| |□a北京□c清华大学出版社□d2010 215| |□a11,200页□d23cm 225|2 |□a国外计算机科学经典教材 305| |□aElesvier(Singapore) Pte Ltd.授权出版 312| |□a书名原文：Embedded systems and so- | |ftware validation 330| |□a本书内容包括：嵌入式系统验证简介、模型验证、通信验证、性- | |能验证、功能验证。 461| 0|□12001 □a国外计算机科学经典教材 510|1 |□aEmbedded systems and softwar- | |e validation□zeng 606|0 |□a程序设计□j教材 690| |□aTP311.1□v5 701| 0|□c(印度)□a罗伊乔杜里□9luo yi qiao du - | |li□g(Roychoudhury, Abhik)□4著 702| 0|□a田尊华□9tian zun hua□f(1976- )□4译 801| 0|□aCN□bBT□c20110914