Verification 书籍/杂志/报纸图片 - 养花网

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

首页全部商品

书籍/杂志/报纸

共 400 款相关商品

商品分类

热门搜索

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

运行时验证：第九届国际研讨 International Jun Workshop 2009 9th Grenoble Verification 海外直订Runtime France

原价 662销量 0

￥662 中华商务图书专营店
Nsv Workshop Verification Software 数字****验证：第十届国际研 Heidelbe 2017 International 10th 海外直订Numerical

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
Software Verification 数值****验证海外直订Numerical

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
硬件和****：验证和测试 and Verification Testing 海外直订Hardware Software

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
Systemc模型 Systemc Models Efficient Simulation Formal Symbolic 海外直订Complete Verification

原价 662销量 0

￥662 中华商务图书专营店
海外直订Modelling Exams Verification and 建模和验证安全考试 Secure

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
Verification State Infinite 海外直订Automatic Sequential 连续无限状态过程 Processes 自动验证

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
Verification 验证和测试硬件和**** and International First 第 Haifa 海外直订Hardware Testing Software Verif

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
Approach Order 并行系统验证 the 部分阶方法 Methods 海外直订Partial Systems for Concurrent Verification

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
Combined and 海外直订Formal Runtime Software Approaches First Verification ****测试和运行时验证 Testing 形式

原价 662销量 0

￥662 中华商务图书专营店
and Modelling 海外直订Dynamics the Unicycle Verification Experimental 独轮车动力学：建模与实验验证

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店

上一页 1 2 3 456 7 8 9 10 11 12 14 下一页

客服