Verification 全部图片 - 淘宝多肉

首页超级人气榜领券中心限时抢购 9块9包邮 19块9包邮

首页全部商品

共 400 款相关商品

商品分类

全部

热门搜索

新上人气热销价格↑ 价格↓ 不限价格 0-30元 31-100元 101-300元 301-1000元 1001-3000元 3001-10000元 10000元以上

and 模型检验与摘要解释验证 Model 10th Interpretation International 海外直订Verification Abstract Checking

原价 662销量 0

￥662 中华商务图书专营店
第23届国际 23rd 计算机辅助验证 International Conference Cav Verification 2011 Aided 海外直订Computer Snowbird

原价 662销量 0

￥662 中华商务图书专营店
Software Verification 未来展望 Future Perspect... 海外直订Deductive 演绎****验证

原价 662销量 0

￥662 中华商务图书专营店
第12 Verification 验证和分析自动化技术 and Analysis 12th for International Technology 海外直订Automated Symposium

原价 662销量 0

￥662 中华商务图书专营店
Specification 规范和验证设计 Systems. 7th Verification 第 International 海外直订Interactive and Design 互动系统

原价 662销量 0

￥662 中华商务图书专营店
海外直订Specification Systems Verification and 规范与验证并发系统 Concurrent

原价 662销量 0

￥662 中华商务图书专营店
Fourth 计算机辅助验证 Aided Cav Workshop 1992年6月海外直订Computer International Verification Montreal

原价 662销量 0

￥662 中华商务图书专营店
Methods 方法和系统硬件验证 Hardware Systems 比较 Comparison 海外直订Formal and Verification 正式

原价 662销量 0

￥662 中华商务图书专营店
Advanced Hardware 正确 Verification 10.5 Res 硬件设计和验证方法 Design 海外直订Correct and Ifip 11th Methods

原价 662销量 0

￥662 中华商务图书专营店
7th 计算机辅助验证 Belgi Aided Cav Conference 第七届国际海外直订Computer International Verification Liege

原价 662销量 0

￥662 中华商务图书专营店
and 模型检验与抽象解释验证 Model 9th Interpretation 第九 International 海外直订Verification Abstract Checking Con

原价 662销量 0

￥662 中华商务图书专营店
Advanced Research 正确海外直订Correct and Design Wg10.5 Verification Hardware Methods Ifip 硬件设计和验证方法

原价 662销量 0

￥662 中华商务图书专营店
Time Real Compositional and 规范和组成验证实时系统 Systems Verification 海外直订Specification

原价 662销量 0

￥662 中华商务图书专营店
5th 计算机辅助验证 Gree Aided Cav Conference 1993年6月海外直订Computer International Verification Elounda

原价 662销量 0

￥662 中华商务图书专营店
计算机辅助验证：第15届国际 15th International Conference Cav Verification 2003 Aided 海外直订Computer Boulder

原价 662销量 0

￥662 中华商务图书专营店
Aspects Mathematical Verification Specification 验证和综合：数学硬件规格 Mathem Synthesis and 海外直订Hardware

原价 662销量 0

￥662 中华商务图书专营店
国际Dag Result 数值****与结果验证 Verification International Dagstuhl with Seminar Software 海外直订Numerical Dag

原价 662销量 0

￥662 中华商务图书专营店
第 Workshop Agent 海外直订Analysis Verification Languages and Lomaps 5th 多代理语言 Multiple Stoc 分析与验证

原价 662销量 0

￥662 中华商务图书专营店
验证与评计算机和通信系统 Computer Communication Systems Evaluation 12th and 海外直订Verification Internat

原价 662销量 0

￥662 中华商务图书专营店
Specification 设计系统 Systems 9th Verification 规范和验 International 海外直订Interactive and Design 交互式

原价 662销量 0

￥662 中华商务图书专营店
8th 计算机辅助验证 Brunswic Aided Cav Conference 第8届国际会议海外直订Computer International Verification New

原价 662销量 0

￥662 中华商务图书专营店
2nd 计算机辅助验证 Brunswick Aided Cav Conference 第二届国际海外直订Computer Internatonal Verification New

原价 662销量 0

￥662 中华商务图书专营店
第五 Verification 验证与分析自动化技术 and Analysis 5th for International Technology 海外直订Automated Symposium

原价 662销量 0

￥662 中华商务图书专营店
19th 计算机辅助验证 Aided Cav Conference 第19届国际 2007 海外直订Computer International Verification Berlin

原价 662销量 0

￥662 中华商务图书专营店
规范和验证 Specification 设计 and Verification 10th Design International Systems. 海外直订Interactive 互动系统

原价 662销量 0

￥662 中华商务图书专营店
and 模型检验与抽象解释验证 Model 8th Interpretation International 海外直订Verification Abstract Checking Con

原价 662销量 0

￥662 中华商务图书专营店
第四届国 Verification 验证与分析自动化技术 and Analysis 4th for International Technology 海外直订Automated Symposium

原价 662销量 0

￥662 中华商务图书专营店
经验****工程与验证 Software and Verification 海外直订Empirical Engineering

原价 662销量 0

￥662 中华商务图书专营店
第14 Verification 自动化验证和分析技术 and Analysis 14th for International Technology 海外直订Automated Symposium

原价 662销量 0

￥662 中华商务图书专营店
10.5advanced Rese 海外直订Correct and Design Ifip Verification 硬件设计和验证方法： Hardware Methods 13th 正确

原价 662销量 0

￥662 中华商务图书专营店

上一页 1 2 345 6 7 8 9 10 11 12 14 下一页

客服