verification

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

预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘

海外直订Geometric Product Specification and Verification: Integration of Functionality: 几何产品规格与验证:功能的

【3-4周达】精装 Verification Methodology Manual for SystemVerilog [9780387255385]

【3-4周达】Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canad... [9783031656293]

【3-4周达】Embedding Sequential Circuits for their Polynomial Formal Verification [9783658501549]

海外直订Empirical Software Engineering and Verification 经验软件工程与验证

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

【3-4周达】精装 SPIN Verification System [9780821806807]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium ... [9783031737084]

预订 Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings

预订 Verification of M Faraday`s hypothesis on the gravitational power line [9783659688881]

【3-4周达】精装 Interval Analysis – and Automatic Result Verification [9783110500639]

【3-4周达】精装 Verification Of Systems And Circuits Using Lotos, Petri Nets, And Ccs [Wiley计算机] [9780471704492]

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

海外直订System-On-A-Chip Verification: Methodology and Techniques 片上系统验证：方法和技术

【3-4周达】Design, Specification and Verification of Interactive Systems '96 : Proceedings of the Eur... [9783211829004]

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

海外直订Aliasing in Object-Oriented Programming: Types, Analysis and Verification 面向对象编程中的混叠：类型、分析

海外直订Design, Specification and Verification of Interactive Systems '98: Proceedings o 98年交互系统的设计、规范和

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

海外直订Standardized Functional Verification 标准化功能验证

海外直订Correct Hardware Design and Verification Methods: 10th Ifip Wg10.5 Advanced Rese 正确的硬件设计和验证方法:

海外直订Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio 错误模型验证：在硬件验证中

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

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

海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评

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

海外直订Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denma 计算机辅助验证：第三届国际

海外直订Computer Aided Verification: 6th International Conference, Cav '94, Stanford, Ca 计算机辅助验证：第六届国际