verification 全部 - 淘宝特价

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

首页全部商品

共 1600 款相关商品

商品分类

全部

热门搜索

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

Methods Formal Systems 海外直订Verification 反应系统 Reactive 化方法和算法 Algorithms and 验证：形式

原价 553销量 0

￥553 中华商务图书专营店
Verification 9781013271144 按需印刷Computer Aided

原价 657销量 0

￥657 上海外文图书音像专营店
海外直订Logic and Algorithms Verification 逻辑综合与验证算法 Synthesis

原价 817销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
Abstract 海外直订Verification 验证 and Interpretation Model Checking 模型检查和抽象解释

原价 534销量 0

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

原价 553销量 0

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

原价 552销量 0

￥552 中华商务图书专营店
综合和验证 Synthesis 海外直订Embedded 系统设计：建模 Verification 嵌入式 and Modeling Design System

原价 594销量 0

￥594 中华商务图书专营店
Verification 9781013271151 按需印刷Computer Aided

原价 772销量 0

￥772 上海外文图书音像专营店
Aided Held Cav Verification 海外直订Computer International Conference 计算机辅助验证：第30届国际 30th 2018

原价 534销量 0

￥534 中华商务图书专营店
Verification Partial Proofs Methods 海外直订Numerical Computer Assisted Differen 数值验证方法及 and 偏微分方程 for

原价 1379销量 0

￥1379 中华商务图书专营店
Foundations 4周达 Special Theory Verification 9783319252728 The Applications Relativity

原价 463销量 0

￥463 澜瑞图书专营店
Verification Validation. Applications Methods Formal 验证和确认海外直订Leveraging 方法利用正式 Modeling and

原价 553销量 0

￥553 中华商务图书专营店
Verification 9781105113758 Advanced 4周达 Topics

原价 595销量 0

￥595 澜瑞图书专营店
海外直订Intelligent Verification Analysis and 智能签名验证与分析 Signature

原价 922销量 0

￥922 中华商务图书专营店
海外直订Verification Manual Systemverilog for Systemverilog验证方法手册 Methodology

原价 1221销量 0

￥1221 中华商务图书专营店
Abstract 海外直订Verification 验证 and Interpretation Model Checking 模型检查和抽象解释

原价 534销量 0

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

原价 519销量 0

￥519 中华商务图书专营店
Verification Approach 海外直订Formal Stateflow Diagrams statflow图化 Simulink 形式 Deductive

原价 1188销量 0

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

原价 594销量 0

￥594 中华商务图书专营店
and 海外直订Reactive 反应系统：建模 Specification Verification Systems Modelling 规范和验证

原价 1073销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
Verification Approach Hands and 海外直订Software Integrated ****验证与分析：一种集成方法 Analysis 实际操作

原价 594销量 0

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

原价 639销量 0

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

原价 629销量 0

￥629 中华商务图书专营店
Verification Francisco 2011 Second 海外直订Runtime Conference 第二届国际会议 International 运行时验证 San

原价 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 中华商务图书专营店
and Verific International Software 海外直订Hardware Testing 5th 硬件和**** 第五届 Verification 验证和测试 Haifa

原价 639销量 0

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

原价 553销量 0

￥553 中华商务图书专营店

上一页 1 ..13 14 15 16 171819 20 21 22 23 54 下一页

客服