verification

海外直订Applied Formal Verification: For Digital Circuit Design 应用形式验证：用于数字电路设计

【3-4周达】An Introduction to Verification of Visualization Techniques [9783031014598]

海外直订Interactive Systems. Design, Specification, and Verification: 7th International 互动系统。设计、规范和验证:第

海外直订Specification and Verification of Concurrent Systems 并发系统的规范与验证

【3-4周达】精装 Geometric Product Specification and Verification: Integration of Functionality: Selec... [9781402014239]

海外直订Design and Verification of SPI Protocol using Verilog 基于Verilog的SPI协议设计与验证

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

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

海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:

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

海外直订Guide to Software Verification with Frama-C: Core Components, Usages, and Applic Guide to S

【3-4周达】精装 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data M... [9783031904097]

【3-4周达】精装 Advanced Formal Verification [9781402077210]

【3-4周达】精装 VERIFICATION (RLE, NUCLEAR SECURITY [9780367523404]

【3-4周达】Rigorous Software Development: An Introduction to Program Verification (Second Edition 2026) [9781447175575]

海外直订Aspect-Oriented Programming with the E Verification Language: A Pragmatic Guide 使用E验证语言进行面向方面

海外直订Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeou 高级验证技术:成功的Tapeo

【3-4周达】Theory of Program Structures : Schemes, Semantics, Verification [9783540074151]

海外直订SAE International's Dictionary of Testing, Verification, and Validation SAE国际测试，验证和验证词典

【3-4周达】Object-Based Image Analysis and Treaty Verification : New Approaches in Remote Sensing - A... [9789048177776]

海外直订A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded S 面向问题的异构嵌入式系统动

【3-4周达】The Science of Biometrics : Security Technology for Identity Verification [9781498761246]

【3-4周达】精装 Challenges of Software Verification [9789811996009]

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

海外直订Interactive Systems. Design Specification, and Verification: 12th International 互动系统。设计规范和验证:

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

海外直订The Science of Biometrics: Security Technology for Identity Verification 生物测定学：身份验证的安全技术

海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

海外直订AI Verification: First International Symposium, Saiv 2024, Montreal, Qc, Canada, 人工智能验证：第一届国际研