verification

海外直订Hardware/Software Co-Design and Co-Verification 硬件/软件协同设计和协同验证

按需印刷不退不换Computer-Aided Verification of Coordinating Processes[9780691634890]

海外直订Independent Verification of the Mitigating Systems Performance Index (MSPI) Resu 试验厂缓解系统性能指数(MSP

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

海外直订Foundations of Computer Software: Modeling, Development, and Verification of Ada 计算机软件基础：自适应系统

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

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

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

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

海外直订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 交互系统:设计、规范和验证: