verification - 淘宝特价

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

首页全部商品

书籍/杂志/报纸

共 1564 款相关商品

商品分类

热门搜索

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

海外直订Advanced Verification 形式先进验证 Formal

原价 1193销量 0

￥1193 中华商务图书专营店
核查 Net 利用LOTOS 与CCS进行系统与电路 Nets Yoeli 现货 Michael 英文原版中� Petri Verification LOTOS

原价 1116销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
组合验证 and 海外直订Compositional 并发和实时系统 Time Systems Real Concurrent Verification

原价 1033销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
Verification and Implementation 海外直订Tools for Information Design Tools Emerging Techno

原价 664销量 0

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

原价 553销量 0

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

原价 897销量 0

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

原价 765销量 0

￥765 中华商务图书专营店
应用 Methods and 验证和 Applications 海外直订Leveraging Inte 5th Formal 方法 Validation 利用正式 Verification

原价 553销量 0

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

原价 757销量 0

￥757 中华商务图书专营店
Synthesis Verification Logic Networks 布尔推理海外直订Reasoning Testing 使用测试技术 Boolean Using and

原价 1550销量 0

￥1550 中华商务图书专营店
Aided Haifa Cav Verification 海外直订Computer International Conference Isr 第34届国际 34th 计算机辅助验证 2022

原价 427销量 0

￥427 中华商务图书专营店
Based for Verification Systemc 成功海外直订Advanced 高级验证技术 Tapeou Tapeo Techniques Successful Approach

原价 1550销量 0

￥1550 中华商务图书专营店
and 海外直订Functional 功能验证覆盖 Measurement Analysis Verification Coverage 测量和分析

原价 1033销量 0

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

原价 553销量 0

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

原价 1033销量 0

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

原价 1033销量 0

￥1033 中华商务图书专营店
Approach Hands 海外直订Runtime Verification 运行时验证一种实践方法 Java Java中

原价 497销量 0

￥497 中华商务图书专营店
Verification 电路海外直订Formal 验证 Circuits 形式

原价 1550销量 0

￥1550 中华商务图书专营店
设计验证 Engineer First 工程师海外直订Metric Verification 度量驱动 and Executive Guide Design Driven

原价 1348销量 0

￥1348 中华商务图书专营店
海外直订Sequential Testing Verification and 顺序逻辑测试与验证 Logic

原价 1789销量 0

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

原价 553销量 0

￥553 中华商务图书专营店
and 海外直订Hybrid 混合系统III Verification Control Systems III 验证与控制

原价 1033销量 0

￥1033 中华商务图书专营店
Verification and 海外直订Accuracy 精度验证方法：理论与算法 Theory Methods Algorithms

原价 1033销量 0

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

原价 553销量 0

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

原价 739销量 0

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

原价 847销量 0

￥847 中华商务图书专营店
Multipliers 海外直订Formal 结构复杂乘数 Structurally 形式化验证 Complex Verification

原价 897销量 0

￥897 中华商务图书专营店
Symbolic 海外直订Scalable 基于符号模拟 with Simulation Hardware Verification 可扩展硬件验证

原价 1072销量 0

￥1072 中华商务图书专营店

上一页 1 ..2 3 4 5 678 9 10 11 12 53 下一页

客服