verification

【3-4周达】Verification by Error Modeling : Using Testing Techniques in Hardware Verification [9781441954022]

The Uvm Primer: A Step-By-Step Introduction to the Universal Verification Method uvm底漆：通用验证方法的逐【中商原版】【

海外直订Logic Synthesis and Verification 逻辑综合与验证

【3-4周达】AI Verification: Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, ... [9783031999901]

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

海外直订Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em 实时嵌入式系统中任务级并发的建

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, ... [9783030945824]

【3-4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Softco... [9783319892146]

【3-4周达】Advanced Formal Verification (Softcover reprint of the original 1st ed. 2004) [9781441954206]

【3-4周达】Formal Hardware Verification : Methods and Systems in Comparison [9783540634751]

【3-4周达】精装 Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Seco... [9783030871802]

【3-4周达】Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY... [9783030284220]

【3-4周达】Compositional Verification of Concurrent and Real-Time Systems [9781461353492]

【3-4周达】Standardized Functional Verification [9781441944078]

【3-4周达】Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 20... [9783031453311]

【3-4周达】Verification, Model Checking, and Abstract Interpretation: Third International Workshop, V... [9783540436317]

【3-4周达】精装 Computer Aided Verification: Techniques and Applications [9781647265861]

【3-4周达】精装 New Paradigms in Computer Aided Verification [9781639896905]

【3-4周达】Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July... [9783030816872]

预订 Timed Automata as a Verification Tool for Security Protocols [9783844394603]

【3-4周达】Logic Synthesis and Verification [9781461352532]

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

海外直订Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, C 计算机辅助验证:1992年6月

【3-4周达】Verification-based software-fault detection [9783866446762]

【3-4周达】Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, Ju... [9783540677703]

【3-4周达】精装 The Complete Guide to SCION : From Design Principles to Formal Verification [9783031052873]

【3-4周达】Brain training for the elderly: Verification of the effectiveness (Aufl.) [9783659835629]

海外直订Geometric Product Specification and Verification: Integration of Functionality: 几何产品规范和验证：功能集

【3-4周达】Handbook of Formal Analysis and Verification in Cryptography [9780367546663]

海外直订Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, 计算机辅助验证：第17届国际