您现在所在的位置:首页>verification

verification

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

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

预订 Compliance Quantified: An Introduction to Data Verification [9780521019194]

预订 Compliance Quantified: An Introduction to Data Verification [9780521019194]

【3-4周达】精装 The Role of the Measurement and Verification Professional: Judgment and Decision-maki... [9788770041058]

【3-4周达】精装 The Role of the Measurement and Verification Professional: Judgment and Decision-maki... [9788770041058]

【3-4周达】Digital Design using VerilogHDL: VLSI Modeling, Coding and Verification [9780443290886]

【3-4周达】Digital Design using VerilogHDL: VLSI Modeling, Coding and Verification [9780443290886]

【3-4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301698]

【3-4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301698]

【3-4周达】精装 Verification And Validation For Quality Of Uml 2.0  Models [Wiley计算机] [9780471727835]

【3-4周达】精装 Verification And Validation For Quality Of Uml 2.0 Models [Wiley计算机] [9780471727835]

预订 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, US

预订 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, US

【3-4周达】Functional Verification Coverage Measurement and Analysis [9780387739922]

【3-4周达】Functional Verification Coverage Measurement and Analysis [9780387739922]

【3-4周达】Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verificatio... [9783031561542]

【3-4周达】Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verificatio... [9783031561542]

预订 Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 2

预订 Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 2

【3-4周达】Male Peer Support and Violence Against Women: The History and Verification of a Theory [9781555538330]

【3-4周达】Male Peer Support and Violence Against Women: The History and Verification of a Theory [9781555538330]

【3-4周达】精装 Electronic Design Automation for IC System Design, Verification, and Testing: Volume 1 [9781041002130]

【3-4周达】精装 Electronic Design Automation for IC System Design, Verification, and Testing: Volume 1 [9781041002130]

【3-4周达】精装 Verification Of Communication Protocols In Web Services: Model-Checking Service Compo... [9780470905395]

【3-4周达】精装 Verification Of Communication Protocols In Web Services: Model-Checking Service Compo... [9780470905395]

【3-4周达】A CERTIFICATE VERIFICATION SYSTEM FOR INSTITUTIONS (Aufl.) [9786208420543]

【3-4周达】A CERTIFICATE VERIFICATION SYSTEM FOR INSTITUTIONS (Aufl.) [9786208420543]

预订 Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrak

预订 Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrak

【3-4周达】精装 Finite Element Analysis: Method, Verification And Validation, Second Edition [Wiley机... [9781119426424]

【3-4周达】精装 Finite Element Analysis: Method, Verification And Validation, Second Edition [Wiley机... [9781119426424]

【3-4周达】精装 Shipboard Power Systems Design And Verification Fundamentals [Wiley能源] [9781118490006]

【3-4周达】精装 Shipboard Power Systems Design And Verification Fundamentals [Wiley能源] [9781118490006]

【3-4周达】Formal Verification: An Essential Toolkit for Modern VLSI Design [9780323956123]

【3-4周达】Formal Verification: An Essential Toolkit for Modern VLSI Design [9780323956123]

【3-4周达】Aspect-Oriented Programming with the E Verification Language: A Pragmatic Guide for Testbe... [9780123742100]

【3-4周达】Aspect-Oriented Programming with the E Verification Language: A Pragmatic Guide for Testbe... [9780123742100]

【3-4周达】精装 Formal Verification of Just–in–Time Compilation [9798400713774]

【3-4周达】精装 Formal Verification of Just–in–Time Compilation [9798400713774]

【3-4周达】Monitoring, Reporting, and Verification Manual for Clean Development Mechanism Projects [9789292573997]

【3-4周达】Monitoring, Reporting, and Verification Manual for Clean Development Mechanism Projects [9789292573997]

【3-4周达】精装 Program Verification : Fundamental Issues in Computer Science [9780792319658]

【3-4周达】精装 Program Verification : Fundamental Issues in Computer Science [9780792319658]

【3-4周达】Challenges of Software Verification [9789811996030]

【3-4周达】Challenges of Software Verification [9789811996030]

【3-4周达】精装 Computational Modeling and Simulation of Medical Devices: Verification, Validation, a... [9783032091796]

【3-4周达】精装 Computational Modeling and Simulation of Medical Devices: Verification, Validation, a... [9783032091796]

【3-4周达】精装 Guide to Software Verification with Frama-C : Core Components, Usages, and Applications [9783031556074]

【3-4周达】精装 Guide to Software Verification with Frama-C : Core Components, Usages, and Applications [9783031556074]

【3-4周达】Design and Verification of SPI Protocol using Verilog [9786207651405]

【3-4周达】Design and Verification of SPI Protocol using Verilog [9786207651405]

【3-4周达】Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits [9780262541572]

【3-4周达】Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits [9780262541572]

【3-4周达】精装 Verification Techniques for System-Level Design [9780123706164]

【3-4周达】精装 Verification Techniques for System-Level Design [9780123706164]

【3-4周达】精装 Reliability Verification, Testing, and Analysis in Engineering Design [9780824704759]

【3-4周达】精装 Reliability Verification, Testing, and Analysis in Engineering Design [9780824704759]

【3-4周达】精装 A Unified Approach for Timing Verification and Delay Fault Testing [9780792380795]

【3-4周达】精装 A Unified Approach for Timing Verification and Delay Fault Testing [9780792380795]