Verification 全部图片 - 养花网

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

首页全部商品

共 400 款相关商品

商品分类

全部

热门搜索

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

Verification 按需印刷 Challenges 预售

原价 540销量 0

￥540 中图上海图书音像店
Software控制系统**** 形式验证 Formal 按需印刷 System Verification 普林斯顿预售 Control 英文原版

原价 473.6销量 0

￥473.6 中图上海图书音像店
25th Interpretation Checking Model Verificati International Abstract and 海外直订Verification

原价 994销量 0

￥994 中华商务图书专营店
海外直订Verification Programs Sequential and 验证顺序和并发程序 Concurrent

原价 986销量 0

￥986 中华商务图书专营店
海外直订Computer and CMM Inspection Aided 计算机辅助三坐标测量机检验计划与验证 Verification Planning

原价 955销量 0

￥955 中华商务图书专营店
海外直订Multicore Verification Software Design Hardware 多核硬件****设计与验证技术 Techniques and

原价 939销量 0

￥939 中华商务图书专营店
and Design Hardware for Rtl设计和验证 Systemverilog用于硬件描述 Verification Rtl Description 海外直订Systemverilog

原价 936销量 0

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

原价 927销量 0

￥927 中华商务图书专营店
安全技术 Biometrics 生物测定学：身份验证 Security Technology for Identity Science 海外直订The Verification

原价 901销量 0

￥901 中华商务图书专营店
and Verification Learning Determined 验证与评价自主学习理论：建构 Evaluation Construction Theory 海外直订Self

原价 886销量 0

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

原价 869销量 0

￥869 中华商务图书专营店
25th Interpretation Checking Model Verificati International Abstract and 海外直订Verification

原价 869销量 0

￥869 中华商务图书专营店
Formal ****验证和形式自治系统 Verification for 化方法 ... 海外直订Software Methods and 支持ml

原价 861销量 0

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

原价 861销量 0

￥861 中华商务图书专营店
进行****故障检测 based fault detection 海外直订Verification software

原价 854销量 0

￥854 中华商务图书专营店
for within Forward Cloud 在COSMO模型中验证云分辨模 Resolving 海外直订Radar Verification Operator Simulations

原价 842销量 0

￥842 中华商务图书专营店
Verification 验证原则：循环概率景观 Cycling the 海外直订Principles Probabil...

原价 802销量 0

￥802 中华商务图书专营店
第22届国际会议 International 运行时验证 Conference 2022 22nd Tbilisi Verification 海外直订Runtime Georgia

原价 802销量 0

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

原价 795销量 0

￥795 中华商务图书专营店
验证与设计优化研究 Stokes Stokes码 Code Verification and Navier Design 海外直订Investigation Optimization

原价 754销量 0

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

原价 735销量 0

￥735 中华商务图书专营店
and Introductory 海外直订Lectures Runtime Verification Topics Advanced 运行时验证讲座：介绍性和高级主题

原价 735销量 0

￥735 中华商务图书专营店
Usages Frama 海外直订Guide Software Verification Components Core Applic with and Guide

原价 735销量 0

￥735 中华商务图书专营店
Information Techno 新兴信息技术海外直订Tools Implementation Design Emerging and 实现和 for Verification 设计

原价 735销量 0

￥731 中华商务图书专营店
Systems Communication Evaluation and Verificati Internat 16th Computer 海外直订Verification

原价 728销量 0

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

原价 699销量 0

￥699 中华商务图书专营店
object 演绎验证面向对象**** verification dynamic software 动 frames 海外直订Deductive oriented logi

原价 695销量 0

￥695 中华商务图书专营店
化分析与验证 Verification 形式 Safety Interlock and Systems Analysis 海外直订Formal 安全联锁系统

原价 688销量 0

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

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店

12 3 4 5 6 7 8 9 10 11 12 14 下一页

客服