verification什么牌子好,verification哪里有卖? - 第4页 - 优惠购商城

全部>“verification” 共597个商品

建模 Verification Modelling 验证

海外直订Modelling and Verification of Secure Exams 安全考试的建模和验证

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Verification Hardware Software

海外直订Hardware and Software: Verification and Testing: 7th International Haifa Verific 硬件和软件：验证和测试：第

￥537 券后￥587 0人已购买
优惠券￥ 50  领券购买 
Introduction Verification Hardware 验证

海外直订Introduction to Formal Hardware Verification 正式硬件验证简介

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Checking

海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification Computation Scientific Automatic

海外直订Scientific Computation with Automatic Result Verification 具有自动结果验证的科学计算

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Verification Conference Computer

海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证：第30届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9783030837228 Applications Verification Leveraging

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228

￥448 券后￥548 0人已购买
优惠券￥ 100  领券购买 
建模 Specification Verification Modelling

海外直订Reactive Systems: Modelling, Specification and Verification 反应系统：建模、规范和验证

￥1,184 券后￥1,284 0人已购买
优惠券￥ 100  领券购买 
Applications Verification Leveraging Validation

海外直订Leveraging Applications of Formal Methods, Verification, and Validation: 6th Int 利用正式方法、验证和确认的

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification Integrated Software Analysis

海外直订Software Verification and Analysis: An Integrated, Hands-On Approach 软件验证与分析：一种集成的、实际操作的方法

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
Verification Deductive Software 演绎

海外直订Deductive Software Verification - The KeY Book 演绎软件验证-关键手册

￥1,371 券后￥1,471 0人已购买
优惠券￥ 100  领券购买 
微处理器 Microprocessor Verification Application

海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设

￥1,256 券后￥1,356 0人已购买
优惠券￥ 100  领券购买 
International 9783030955601 Verification Conference

[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601

￥503 券后￥603 0人已购买
优惠券￥ 100  领券购买 
9781013271151 Verification Computer 印刷

按需印刷不退不换Computer Aided Verification[9781013271151]

￥692 券后￥772 0人已购买
优惠券￥ 80  领券购买 
英文预售 Verification Hierarchical

【预售按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍

￥259 券后￥329 0人已购买
优惠券￥ 70  领券购买 
Verification 预订 Computer Aided

【预订】Computer Aided Verification

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
字符串 Verification Analysis Software

海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析

￥685 券后￥735 0人已购买
优惠券￥ 50  领券购买 
Verification Challenges 预订 Software

[预订]Challenges of Software Verification

￥1,443 券后￥1,643 0人已购买
优惠券￥ 200  领券购买 
International Verification Conference Computer

海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification 现状验证趋势

海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势

￥1,490 券后￥1,590 0人已购买
优惠券￥ 100  领券购买 
独轮车动力学建模 Experimental

海外直订Dynamics of the Unicycle: Modelling and Experimental Verification 独轮车动力学：建模与实验验证

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
军备核查 Proliferation 扩散

海外直订Nuclear Non-Proliferation and Arms Control Verification: Innovative Systems Conc 核不扩散与军备控制核查:创

￥2,307 券后￥2,407 0人已购买
优惠券￥ 100  领券购买 
Differential Verification Numerical Equations

预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

￥1,333 券后￥1,533 0人已购买
优惠券￥ 200  领券购买 
Verification 精度算法 Algorithms

海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
Verification Requirements Satisfies Solution

海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证：证明设计方案满足要求

￥1,689 券后￥1,789 0人已购买
优惠券￥ 100  领券购买 
Checking 9783031301667 Verification Annotation

[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667

￥726 券后￥876 0人已购买
优惠券￥ 150  领券购买 
条约物体 Verification Approaches

海外直订Object-Based Image Analysis and Treaty Verification: New Approaches in Remote Se 基于物体的图像分析和条约核

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
测量机坐标 Verification Inspection

海外直订Computer-Aided CMM Inspection Planning and Verification 计算机辅助三坐标测量机检验计划与验证

￥905 券后￥955 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
预售 Verification 印刷 Gender

预售按需印刷 Gender Verification and the Making of the Female Body in Sport

￥1,611 券后￥1,776 0人已购买
优惠券￥ 165  领券购买 
Internationa Verification 嵌入式 Embedded

海外直订Embedded Systems: Design, Analysis and Verification: 4th Ifip Tc 10 Internationa 嵌入式系统:设计，分析和验

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
行时国际会议 International Verification

海外直订Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, 运行时验证:第22届国际会议

￥752 券后￥802 0人已购买
优惠券￥ 50  领券购买 
Verification Intelligent Signature Analysis

海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析

￥1,010 券后￥1,110 0人已购买
优惠券￥ 100  领券购买 
探测器粒子 Verification Processor

海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 用于粒子探测器的数字信号处

￥1,772 券后￥1,872 0人已购买
优惠券￥ 100  领券购买 
医药图书核查毒素公约

海外直订医药图书Verification of the Biological and Toxin Weapons Convention 核查《生物和毒素武器公约》

￥2,551 券后￥2,651 0人已购买
优惠券￥ 100  领券购买 
9780470527511 Verification Validation Engineered

预订不退不换Verification, Validation, and Testing of Engineered Systems[9780470527511]

￥4,771 券后￥4,871 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 14th International Co 验证、模型检查和抽象解释：

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Systemc Verification Simulation Efficient

海外直订Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Systemc模型的

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Simulink 形式化 Verification Stateflow

海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化

￥1,237 券后￥1,337 0人已购买
优惠券￥ 100  领券购买 
行时软件测试 Verification Approaches

海外直订Formal Approaches to Software Testing and Runtime Verification: First Combined I 软件测试和运行时验证的形式

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 

上一页 1 ... 2 3 4 5 6 ... 15 下一页

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

最新资讯：

优惠购商城粤ICP备2021134891号　　Copyright © 2010 - 2021 https://www.51yhgou.com/ All Rights Reserved

×
◆
0

◆
我的订单
◆
我的收入
◆

意见反馈
◆
扫描下载二维码

◆
返回顶部
◆