verification 全部 - 淘宝特价

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

首页全部商品

共 1600 款相关商品

商品分类

全部

热门搜索

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

Verification Validation. Applications Methods Formal 应用海外直订Leveraging 化方法利用形式验证 Technolo and

原价 553销量 0

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

原价 1240销量 0

￥1240 中华商务图书专营店
海外直订Computer Aided Verification 计算机辅助验证

原价 552销量 0

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

原价 534销量 0

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

原价 639销量 0

￥639 中华商务图书专营店
and Testing 预订Hardware Verification Software 9783319133379

原价 748销量 0

￥748 上海外文图书音像专营店
Verification 海外直订IET Regulations Design Electrical Installations and Wiring

原价 408销量 0

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

原价 1193销量 0

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

原价 534销量 0

￥534 中华商务图书专营店
数字信号处理器 for Detectors 设 Digital 海外直订A and Signal Verification Processor 粒子探测器 Design Test Particle

原价 1590销量 0

￥1590 中华商务图书专营店
Verification Validation Applications Methods Formal 验证和验证海外直订Leveraging 方法利用形式 Foundati and

原价 997销量 0

￥997 中华商务图书专营店
Approximation 海外直订Lectures Algorithms Proof Verification 关于证明验证和近似算法讲座 and

原价 553销量 0

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

原价 1703销量 0

￥1703 中华商务图书专营店
扩展密钥 Verification 海外直订Extending C程序验证 Programs the for Key

原价 922销量 0

￥922 中华商务图书专营店
运行时验证：第三届国际会议 Conference 海外直订Runtime Turkey 2012 Istanbul International Third Verification

原价 534销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
正式 Verification International 方法：第六国 Methods 海外直订Formal Formal for Hardware 硬件验证 School Met 6th

原价 553销量 0

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

原价 552销量 0

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

原价 650销量 0

￥650 中华商务图书专营店
Verification 核实挑战海外直订Challenges

原价 618销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
System 海外直订Electronic Verification Automation for and Testing Design

原价 1037销量 0

￥1037 中华商务图书专营店
Verification Trends Current Proving Theorem Automated 9781461281955 4周达 and Hardware

原价 1239销量 0

￥1239 澜瑞图书专营店
按需印刷 Female Making Gender 预售 and the Body Sport Verification

原价 1776销量 0

￥1776 中图上海图书音像店
Solution the 4周达 Verification Proving Satisfies 9780128042212 System Requirements Design

原价 1098销量 0

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

原价 1240销量 0

￥1240 中华商务图书专营店
Architectures Top Verification Embedded Programmable 体系结构海外直订Functional 可编程嵌入式 Appro 功能 Down

原价 1033销量 0

￥1033 中华商务图书专营店
9781461498360 Functional Processes Principles and Verification Effective 4周达

原价 1198销量 0

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

原价 534销量 0

￥534 中华商务图书专营店
9781461287018 Verification Safety Reactive Systems Temporal 4周达

原价 1368销量 0

￥1368 澜瑞图书专营店

上一页 1 ..15 16 17 18 192021 22 23 24 25 54 下一页

客服