Verification什么牌子好,Verification哪里有卖? - 第3页 - 宝妈美购物网

全部>“Verification” 共900个商品

Interpretation International Verification Checking
海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释：
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Verification Computer 辅助验证
海外直订Computer Aided Verification 计算机辅助验证
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Interpretation Verification 抽象 Checking
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Interpretation Verification 抽象 Checking
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：
￥524券后￥5340人已购买
优惠券￥10 领券购买 
International Verification Conference Heidelberg
海外直订Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg 计算机辅助验证：第29届国际
￥524券后￥5340人已购买
优惠券￥10 领券购买 
International Verification Technology Automated
海外直订Automated Technology for Verification and Analysis: 18th International Symposium 验证与分析自动化技术:第18届
￥524券后￥5340人已购买
优惠券￥10 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证：第30届国际
￥524券后￥5340人已购买
优惠券￥10 领券购买 
第十届 International Verification Numerical
海外直订Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelbe 数字软件验证：第十届国际研
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Communication Verification Evaluation Computer
海外直订Verification and Evaluation of Computer and Communication Systems: 11th Internat 计算机和通信系统的验证和评
￥524券后￥5340人已购买
优惠券￥10 领券购买 
International Verification Numerical Software
海外直订Numerical Software Verification: 12th International Workshop, Nsv 2019, New York 数字软件验证：第12届国际研
￥524券后￥5340人已购买
优惠券￥10 领券购买 
International Verification Conference Computer
海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证：第30届国际
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Verification Hardware Software 验证
海外直订Hardware and Software: Verification and Testing 硬件和软件：验证和测试
￥524券后￥5340人已购买
优惠券￥10 领券购买 
数值 Verification Numerical Software
海外直订Numerical Software Verification 数值软件验证
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Verification Technology Automated 验证
海外直订Automated Technology for Verification and Analys... 验证与分析自动化技术
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Communication Verification Evaluation Computer
海外直订Verification and Evaluation of Computer and Communication Systems: 13th Internat 计算机和通信系统的验证与评
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Verification 展望 Deductive Software
海外直订Deductive Software Verification: Future Perspect... 演绎软件验证:未来展望
￥524券后￥5340人已购买
优惠券￥10 领券购买 
行时国际会议 International Verification
海外直订Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, 运行时验证：第三届国际会议
￥524券后￥5340人已购买
优惠券￥10 领券购买 
软件工程 Verification Engineering Empirical
海外直订Empirical Software Engineering and Verification 经验软件工程与验证
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Parameterized Decidability Verification 验证
海外直订Decidability of Parameterized Verification 参数化验证的可判性
￥525券后￥5350人已购买
优惠券￥10 领券购买 
预售 Verification Challenges 印刷
预售按需印刷 Challenges Of Verification
￥465券后￥5400人已购买
优惠券￥75 领券购买 
International Verification Technology Automated
海外直订Automated Technology for Verification and Analysis: 14th International Symposium 自动化验证和分析技术:第14
￥536券后￥5460人已购买
优惠券￥10 领券购买 
预售 Specification Verification Synthesis
【预售】Hardware Specification, Verification and Synthesis:
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Integrated Software
【预售】Software Verification and Analysis: An Integrated
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Integrated Software
【预售】Software Verification and Analysis: An Integrated
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Termination Induction
【预售】Verification, Induction, Termination Analysis:
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 International Verification Workshop
【预售】Runtime Verification: 9th International Workshop, RV
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 International Verification Runtime
【预售】Runtime Verification: Second International
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Checking Abstract
【预售】Verification, Model Checking, and Abstract
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Partial Methods
【预售】Partial-Order Methods for the Verification of
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Approximation Verification Lectures
【预售】Lectures on Proof Verification and Approximation
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Engineering Empirical
【预售】Empirical Software Engineering and Verification:
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Checking Abstract
【预售】Verification, Model Checking, and Abstract
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Checking Abstract
【预售】Verification, Model Checking, and Abstract
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Checking Abstract
【预售】Verification, Model Checking, and Abstract
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 International Verification Computer
【预售】Computer Aided Verification: 11th International
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 International Verification Workshop
【预售】Runtime Verification: 8th International Workshop, RV
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Checking Abstract
【预售】Verification, Model Checking, and Abstract
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Checking Abstract
【预售】Verification, Model Checking, and Abstract
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Verification Hardware Software
【预售】Hardware and Software: Verification and Testing
￥514券后￥5480人已购买
优惠券￥34 领券购买 

上一页 1 2 3 4 5 ... 23 下一页