verification 全部 - 淘宝特价

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

首页全部商品

共 1605 款相关商品

商品分类

全部

热门搜索

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

预订 Verification Of... System Formal State

原价 1314销量 0

￥1314 中国国际图书专营店
Numerical Verification Software 10t... 预订

原价 548销量 0

￥548 中国国际图书专营店
and Essays Theory Practice 预售 Verification Dedicated

原价 1095销量 0

￥1095 中国国际图书专营店
Challenges Verification 预售按需印刷

原价 540销量 0

￥540 中图上海图书音像店
System Chip 预订 Policy and Implementation Specification Verification Security Designs

原价 548销量 0

￥548 中国国际图书专营店
Gender the and History Body Present Making 9781032085197 Verification Female 预订 Sport

原价 587销量 0

￥587 中国国际图书专营店
Systems 海外直订Temporal 反应系统 Reactive Safety Verification 时间验证：安全性

原价 1137销量 0

￥1137 中华商务图书专营店
Computer Verification Aided 9783030816841 预订

原价 437销量 0

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

原价 883销量 0

￥883 中华商务图书专营店
Design and Systems Analysis 预订 Embedded Verification

原价 548销量 0

￥548 中国国际图书专营店
预订 Software Verification Source Open Quality

原价 548销量 0

￥548 中国国际图书专营店
预订 Nuclear Verification Trust Disarmament

原价 1356销量 0

￥1356 中国国际图书专营店
Particle Design Digital for Processor 用于粒子探测器海外直订A Test and 数字信号处 Signal Verification Detectors

原价 1654销量 0

￥1654 中华商务图书专营店
Logic Time Nets 时间Petri网和时间自动机验海外直订Advances Automata Verification Timed Temporal and Petri

原价 1550销量 0

￥1550 中华商务图书专营店
预订 Verification Perspectives Software Deductive Future

原价 548销量 0

￥548 中国国际图书专营店
Conference International 28th 海外直订Computer Aided Toronto Verification 计算机辅助验证：第28届国际 2016 Cav

原价 552销量 0

￥552 中华商务图书专营店
Eai Implementation Technologies Internati... for 15th Design Verification Emerging Information and Tools 预订

原价 548销量 0

￥548 中国国际图书专营店
Verification Uml 预售 Validation Satisfiability Using Models Solvers Automated Ocl

原价 1643销量 0

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

原价 553销量 0

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

原价 1104销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
and Verification Hardware 海外直订Current Trends Proving 当前趋势 Theorem Automated 硬件验证和自动定理证明

原价 1193销量 0

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

原价 534销量 0

￥534 中华商务图书专营店
Opportunities Authentication Research Verification Emerging and Media Cross 预订

原价 1283销量 0

￥1283 中国国际图书专营店
Validation and Methods Verification Formal Applications Leveraging 预订

原价 548销量 0

￥548 中国国际图书专营店
Methods Formal Systems 海外直订Verification 反应系统 Reactive 化方法和算法 Algorithms and 验证：形式

原价 553销量 0

￥553 中华商务图书专营店
9th Wiring Electrical Edition Installations IET Design and Verification Regulations 18th 预订

原价 301销量 0

￥301 中国国际图书专营店
for and Technology Verification 预订 Automated Analysis

原价 548销量 0

￥548 中国国际图书专营店
海外直订Verification Manual Systemverilog for Systemverilog验证方法手册 Methodology

原价 1221销量 0

￥1221 中华商务图书专营店
Conference International 12th 海外直订医药图书Computer Aided Chicago Verification 计算机辅助验证：第 2000 Cav

原价 1033销量 0

￥1033 中华商务图书专营店

上一页 1 ..24 25 26 27 282930 31 32 33 34 54 下一页

客服