Verification - 淘宝特价

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

首页全部商品

共 1607 款相关商品

商品分类

全部

热门搜索

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

海外直订Computer Aided Verification 计算机辅助验证

原价 552销量 0

￥552 中华商务图书专营店
Verification Validation. Applications Methods Formal 验证和确认海外直订Leveraging 方法利用正式 Speciali and

原价 553销量 0

￥553 中华商务图书专营店
硬件和****：验证和测试：第 Testing 海外直订Hardware Verific International Haifa 7th Verification Software and

原价 519销量 0

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

原价 639销量 0

￥639 中华商务图书专营店
Control and 海外直订Survey 测量控制点：兼容性和验证 Compatibility Points Verification

原价 639销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
Tools Level and Methods 用于验证系统级设计海外直订High 验证 Desi Verification System for

原价 1033销量 0

￥1033 中华商务图书专营店
and 海外直订String Security for Software 用于****验证和安全字符串分析 Verification Analysis

原价 883销量 0

￥883 中华商务图书专营店
设计 Verification 嵌入式分析和验海外直订Embedded Analysis 系统 and Ifip Internationa 4th Design Systems

原价 639销量 0

￥639 中华商务图书专营店
Verification 海外直订Introduction 硬件验证简介 Hardware Formal 正式

原价 594销量 0

￥594 中华商务图书专营店
and 海外直订Lectures Advanced Runtime Verification Topics 运行时验证讲座：介绍性和高级主题 Introductory

原价 669销量 0

￥669 中华商务图书专营店
Technology and 海外直订Automated 验证与分析自动化技术 Verification for Analys...

原价 534销量 0

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

原价 1193销量 0

￥1193 中华商务图书专营店
后硅和运行时验证 Verification 海外直订Post 现代处理器 Modern Processors for Runtime and Silicon

原价 1789销量 0

￥1789 中华商务图书专营店
Verification Validation. Applications Methods Formal 应用海外直订Leveraging 化方法利用形式验证 Technolo and

原价 553销量 0

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

原价 534销量 0

￥534 中华商务图书专营店
Uml Models Validation Verification 使用可满足性求解器海外直订Automated Solve Satisfiability Using Ocl

原价 1550销量 0

￥1550 中华商务图书专营店
Biological 海外直订Simulation Systems Verification 电子与生物系统仿真与验证 Electronic and

原价 1033销量 0

￥1033 中华商务图书专营店
Systems 21st Verification Formal 海外直订Critical and Automated Internat 化方法和自动 Methods 关键系统：形式 Joint

原价 553销量 0

￥553 中华商务图书专营店
Uml Models Validation Verification 使用可满足性求解器海外直订Automated Solve Satisfiability Using Ocl

原价 1550销量 0

￥1550 中华商务图书专营店
Debug Design 海外直订Fundamentals Soc Security IP和Soc安全基础验证和调试 and 设计 Verification

原价 883销量 0

￥883 中华商务图书专营店
for Algorithms and 海外直订New Data Verification Structures 新数据结构与算法 Synthesis Logic 逻辑综合与验证

原价 553销量 0

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

原价 534销量 0

￥534 中华商务图书专营店
Interpretation Abstract and 海外直订Verification Model Checking 模型检查和摘要解释： International 17th 验证

原价 553销量 0

￥553 中华商务图书专营店
Rtl设计和验证 Rtl 海外直订Systemverilog Systemverilog用于硬件描述 and Verification Design Description Hardware for

原价 788销量 0

￥788 中华商务图书专营店
Power Aware 海外直订Low 低功耗设计和功率感知验证 and Design Verification

原价 1328销量 0

￥1328 中华商务图书专营店
The and System State 系统验证海外直订Formal 正式 Trends 技术现状和未来趋势 Verification Future Art

原价 1240销量 0

￥1240 中华商务图书专营店
Conference International 海外直订Runtime Verification Georgia 22nd 第22届国际会议 Tbilisi 2022 运行时验证

原价 705销量 0

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

原价 534销量 0

￥534 中华商务图书专营店
Non Systems Verification Proliferation 海外直订Nuclear Arms Control Conc 创 and 核不扩散与军备控制核查 Innovative

原价 1703销量 0

￥1703 中华商务图书专营店

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

客服