verification

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

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

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

海外直订Verification & Validation of Selected Fire Models for Nuclear Power Plant Applic 核电站应用选定火灾模型的验

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

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

海外直订Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification 应用于Sph法传热的数值解:速

海外直订Computer Aided Verification: 24th International Conference, Cav 2012, Berkeley, 计算机辅助验证:第24届国际

海外直订Correct Hardware Design and Verification Methods: 12th Ifip Wg 10.5 Advanced Res 正确的硬件设计和验证方法:

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

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

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

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

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

预订不退不换Safety Instrumented System Design:Techniques and Design Verification

海外直订A 1D Spectral Image Validation/Verification Metric for Fingerprints 一种用于指纹的一维光谱图像验证/验证度量

海外直订Verification and Control of Hybrid Systems: A Symbolic Approach 混合系统的验证与控制：一种符号方法

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

海外直订Verification and Evaluation of Computer and Communication Systems: 18th Internat 计算机和通信系统的验证和评

【3-4周达】精装 Protocol Specification, Testing and Verification XIV [9780412636400]

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

海外直订Writing Testbenches: Functional Verification of Hdl Models 编写测试台：HDL模型的功能验证

海外直订Design, Specification and Verification of Interactive Systems '97: Proceedings o 1997年6月4日至6日在西班

海外直订Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeou 高级验证技术：基于System

【3-4周达】Scalable Hardware Verification with Symbolic Simulation [9781441937391]

海外直订Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Po 生成硬件断言检查程序：用于

海外直订IP Cores Design from Specifications to Production: Modeling, Verification, Optim 从规范到生产的IP核心设计：

海外直订Hardware and Software: Verification and Testing 硬件和软件：验证和测试

海外直订Verification & Validation of Selected Fire Models for Nuclear Power Plant Applic 核电站应用的选定火灾模型的

海外直订Development and Verification of a Linear-Fit Mixed System Rating Method for Unit 单一双速和变速空调器线性拟