verification

海外直订Formal Hardware Verification: Methods and Systems in Comparison 正式的硬件验证:方法和系统的比较

海外直订Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Res 正确的硬件设计和验证方法:

海外直订Next Generation Design and Verification Methodologies for Distributed Embedded C 下一代分布式嵌入式控制系统的设

海外直订Writing Testbenches: Functional Verification of Hdl Models 编写测试台：Hdl模型的功能验证

海外直订Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgi 计算机辅助验证:第七届国际

海外直订Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma 计算机辅助验证:第16届国际

现货 UML 2.1 建模质量检验和确认 Verification And Validation For Quality Of Uml 2.0 Models 英文原版 Bhuvan Unhelk

海外直订Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick 计算机辅助验证:第二届国际

现货 利用LOTOS Petri Nets 与CCS进行系统与电路的核查 LOTOS Petri Net Verification 英文原版 Michael Yoeli 中�

【3-4周达】精装 Verification in Economics and History (Routledge Revivals) : A Sequel to 'Scientifiza... [9780415612036]

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

海外直订Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stoc 多代理语言的分析与验证:第

海外直订Hybrid Systems III: Verification and Control 混合系统III:验证与控制

海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:

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

海外直订Computer Aided Verification: 34th International Conference, Cav 2022, Haifa, Isr 计算机辅助验证:第34届国际

按需印刷Strategic Disarmament, Verification and National Security[9780367511616]

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

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

海外直订Deductive verification of object-oriented software: dynamic frames, dynamic logi 面向对象软件的演绎验证:动

海外直订Writing Testbenches: Functional Verification of Hdl Models 编写测试平台:Hdl模型的功能验证

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

海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

【3-4周达】Airbnb Mortgage Loans with No Income Verification: How to Get Approved Without Tax Returns... [9798295801235]

海外直订Advanced Formal Verification 先进的形式验证

海外直订医药图书Computer Aided Verification: 13th International Conference, Cav 2001, Paris, Fra 计算机辅助验证:第1

海外直订Building Bulletproof Software: How Formal Verification Saves the Day 构建防弹软件：正式验证如何拯救一天

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

海外直订Heterogeneous Soc Design and Verification: Hw/SW Co-Exploration, Co-Design, Co-V 异构Soc设计与验证：软硬件

海外直订医药图书Medical Insurance Eligibility Verification - The Comprehensive Guide 医疗保险资格验证-综合指南