Verification什么牌子好,Verification哪里有卖? - 第23页 - 生态农业开发平台

全部>“Verification” 共915个商品

开放式 Verification Methodology Cookbook

海外直订Open Verification Methodology Cookbook 开放式验证方法手册

￥1,790 券后￥1,850 0人已购买
优惠券￥ 60  领券购买 
Verification Techniques Checking Software

海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具

￥1,407 券后￥1,447 0人已购买
优惠券￥ 40  领券购买 
Specification Verification Protocol 验证

海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证

￥1,928 券后￥1,988 0人已购买
优惠券￥ 60  领券购买 
合规性量化 Introduction Verification

海外直订Compliance Quantified: An Introduction to Data Verification 合规性量化：数据验证简介

￥689 券后￥719 0人已购买
优惠券￥ 30  领券购买 
Interpretation International Verification 抽象

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

￥599 券后￥629 0人已购买
优惠券￥ 30  领券购买 
International Verification Technology Symposium

海外直订Automated Technology for Verification and Analysis: 11th International Symposium 自动化技术的验证和分析:第1

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
体系结构 Cryptographic Architecture Verification

海外直订Cryptographic Security Architecture: Design and Verification 密码安全体系结构:设计与验证

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
语义 Verification Operational Protocols

海外直订Operational Semantics and Verification of Security Protocols 安全协议的操作语义与验证

￥831 券后￥861 0人已购买
优惠券￥ 30  领券购买 
Verification Constraint 约束验证

海外直订Constraint-Based Verification 基于约束的验证

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
模块化编译器 Verification Advocating

海外直订Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwi 模块化编译器验证：一种支持

￥628 券后￥658 0人已购买
优惠券￥ 30  领券购买 
Verification Fundamental Computer 验证

海外直订Program Verification: Fundamental Issues in Computer Science 程序验证:计算机科学的基本问题

￥4,314 券后￥4,374 0人已购买
优惠券￥ 60  领券购买 
Interpretation International Verification 抽象

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
Internationa Verification 嵌入式 Analysis

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

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
Verification Language Hardware 验证

海外直订The E Hardware Verification Language E硬件验证语言

￥2,591 券后￥2,651 0人已购买
优惠券￥ 60  领券购买 
中商预售 Coordinating Verification

预售协调过程的计算机辅助验证 Computer-Aided Verification of Coordinating Processes Robert P Kurshan【中商原版】

￥611 券后￥641 0人已购买
优惠券￥ 30  领券购买 
合规性量化 Introduction Verification

海外直订Compliance Quantified: An Introduction to Data Verification 合规性量化：数据验证简介

￥1,621 券后￥1,681 0人已购买
优惠券￥ 60  领券购买 
理系统建模 International Verification

海外直订Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su 物理系统的正式建模与验

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
Verification Introduction Development 软件开发

海外直订Rigorous Software Development: An Introduction to Program Verification 严格的软件开发：程序验证入门

￥418 券后￥428 0人已购买
优惠券￥ 10  领券购买 
Verification Engineering Validation Scientific

海外直订Software Verification and Validation: An Engineering and Scientific Approach 软件验证和确认:一种工程和科学

￥1,002 券后￥1,042 0人已购买
优惠券￥ 40  领券购买 
Verification Techniques Scalable 扩展

海外直订Scalable Techniques for Formal Verification 用于形式验证的可扩展技术

￥1,193 券后￥1,233 0人已购买
优惠券￥ 40  领券购买 
Verification 混合验证 Systems

海外直订Verification of Digital and Hybrid Systems 数字和混合系统的验证

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
常规武器学武裁减军备

海外直订Verification of Arms Reductions: Nuclear, Conventional and Chemical 核查裁减军备：核武器、常规武器和化学武

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
Communication Specification Verification Protocol

海外直订Communication Protocol Specification and Verification 通信协议规范与验证

￥2,591 券后￥2,651 0人已购买
优惠券￥ 60  领券购买 
验证 Applications Verification Leveraging

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Software 利用形式方法、验证和验证的

￥772 券后￥802 0人已购买
优惠券￥ 30  领券购买 
Systemverilog Verification Testbench Learning

海外直订Systemverilog for Verification: A Guide to Learning the Testbench Language Featu 用于验证的Syste

￥771 券后￥801 0人已购买
优惠券￥ 30  领券购买 
自旋 Spin International Verification

海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

￥628 券后￥658 0人已购买
优惠券￥ 30  领券购买 
Software 软件测试医疗设备 Verification

海外直订Software Testing Basics: Software Verification Fundamentals for Dedicated Tester 软件测试基础:医疗设备行业

￥339 券后￥349 0人已购买
优惠券￥ 10  领券购买 
Verification Validation 实时 Software

海外直订Verification and Validation of Real-Time Software 实时软件的验证与确认

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
形式化 International Verification Conference

海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证：

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
Verification 图像验证海外

海外直订4D Image Verification 4D图像验证

￥805 券后￥835 0人已购买
优惠券￥ 30  领券购买 
时序建模 VLSI Macromodeling

海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

￥1,918 券后￥1,978 0人已购买
优惠券￥ 60  领券购买 
验证 Verification Validation 海岸

海外直订Verification and Validation of the Coastal Modeling System: Report 2: CMS-Wave 海岸模拟系统的验证与验证:报

￥307 券后￥317 0人已购买
优惠券￥ 10  领券购买 
Verification Simulation 符号 Symbolic

海外直订Scalable Hardware Verification with Symbolic Simulation 基于符号模拟的可扩展硬件验证

￥1,220 券后￥1,260 0人已购买
优惠券￥ 40  领券购买 
International Verification Technology Symposium

海外直订Automated Technology for Verification and Analysis: 20th International Symposium 验证与分析自动化技术:第20

￥964 券后￥994 0人已购买
优惠券￥ 30  领券购买 
交互式 International Specification Verification

海外直订Interactive Systems. Design, Specification, and Verification: 13th International 交互式系统。设计、规范和验

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 

上一页 1 ... 19 20 21 22 23 下一页

扫描二维码打开

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

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

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

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

生态农业开发平台　　Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved