verification

【3-4周达】Current Trends in Hardware Verification and Automated Theorem Proving [9781461281955]

【3-4周达】Polynomial Formal Verification of Approximate Functions (1st ed. 2023) [9783658418878]

【3-4周达】Verification, Model Checking, and Abstract Interpretation : 14th International Conference,... [9783642358722]

【3-4周达】Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland... [9783540272311]

预订 精装 Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Con... [9780521806084]

预订 Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Concurre... [9780521169325]

预订 精装 Practical Design Verification [9780521859721]

【3-4周达】精装 控制系统软件的形式验证 Formal Verification of Control System Software [9780691181301]

【3-4周达】AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–... [9783031651113]

【3-4周达】Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, Ju... [9783540223429]

XIRIS ID2500 LCD IDENT CD DVD CODE VERIFICATION SYSTEM MAKE

预订 Effective and Efficient Temporal Verification in Grid Workflow [9783844315479]

【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍

【3-4周达】Visual Journalism and Verification at War: Norwegian and Swedish News Outlets Covering Ukr... [9781032763347]

海外直订Higher Order Logic and Hardware Verification 高阶逻辑与硬件验证

【3-4周达】Computer Aided Verification [9781013270987]

【3-4周达】精装 Real-Time Systems: Scheduling, Analysis, And Verification [Wiley电子电气工程] [9780471184065]

【3-4周达】Biometric Technologies and Verification Systems [9780750679671]

【3-4周达】精装 Verification 1995: Arms Control, Peacekeeping and the Environment [9780367212841]

【3-4周达】精装 Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System D... [9780750679497]

现货 独立验证和认证 质量软件生命周期工程过程 Independent Verification And Validation Life Cycle Engineering Process R O

【3-4周达】Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, Ju... [9783032325365]

【3-4周达】精装 Formal Description Techniques and Protocol Specification, Testing and Verification : ... [9780412820601]

【3-4周达】精装 Computer-aided Verification [9780821865941]

【3-4周达】Methods and Procedures for the Verification and Validation of Artificial Neural Networks [9781441939357]

【3-4周达】Verification of Business Rules Programs (Softcover reprint of the original 1st ed. 2014) [9783662514078]

【3-4周达】精装 Methods and Procedures for the Verification and Validation of Artificial Neural Networks [9780387282886]

【3-4周达】精装 Effective Functional Verification : Principles and Processes [9780387286013]

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

AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot