verification

【4周达】The Special Theory of Relativity : Foundations, Theory, Verification, Applications [9783319252728]，

海外直订Lectures on Proof Verification and Approximation Algorithms 关于证明验证和近似算法的讲座，

海外直订Scalable Techniques for Formal Verification 形式验证的可伸缩技术，

海外直订Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, 运行时验证:第22届国际会议，

海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国，

海外直订Automated Technology for Verification and Analysis 验证与分析自动化技术，

海外直订Partial-Order Methods for the Verification of Concurrent Systems: An Approach to 并行系统验证的部分阶方法:，

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证，

海外直订Challenges Of Verification 核实的挑战，

海外直订Electronic Design Automation for IC System Design, Verification, and Testing，

【4周达】IET Wiring Regulations: Design and Verification of Electrical Installations: Design and Veri... [9781138606005]，

海外直订A Roadmap for Formal Property Verification 形式属性验证的路线图，

海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运，

【4周达】Electronic Design Automation for IC System Design, Verification, and Testing [9781482254624]，

【4周达】Post-Silicon and Runtime Verification for Modern Processors [9781489981509]，

海外直订Genetic Design Automation: A Practical Approach for the Analysis, Verification a 遗传设计自动化:遗传逻辑电，

预订ASIC/SoC Functional Design Verification，

【4周达】High-Level Verification : Methods and Tools for Verification of System-Level Designs [9781441993588]，

【4周达】Reactive Systems: Modelling, Specification and Verification [9780521875462]，

海外直订Formal Approaches to Software Testing and Runtime Verification: First Combined I 软件测试和运行时验证的形式，

海外直订Computational Methods in Transport: Verification and Validation 运输计算方法：验证与验证，

【4周达】Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X... [9780412820601]，

【4周达】Verification, Validation, And Testing Of Engineered Systems [Wiley电子电气工程] [9780470527511]，

【4周达】Hardware Verification with C++ : A Practitioner's Handbook [9780387255439]，

【4周达】System Verification: Proving the Design Solution Satisfies the Requirements [9780128042212]，

【4周达】Verification of Dual-Use Chemicals Under the Chemical Weapons Convention: The Case of Thiodi... [9780198291565]，

【4周达】Advanced Verification Topics [9781105113758]，

【4周达】ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodol... [9783319594170]，

【4周达】Practical Design Verification [9780521859721]，

【4周达】Verification and Evaluation of Computer and Communication Systems: 11th International Confer... [9783319661759]，