verification

[预订]Computer Aided Verification 9783031377082

[预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759

[预订]Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification of Approximations f 9783031289453

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

[预订]Computer Aided Verification 9783031377051

预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

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

预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601

【3-4周达】Advanced Verification Topics [9781105113758]

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

【3-4周达】Embedded Software Verification and Debugging (Softcover reprint of the original 1st ed. 2017) [9781493979318]

【3-4周达】Verification Methodology Manual for SystemVerilog [9781461498131]

【3-4周达】Survey Control Points : Compatibility and Verification (1st ed. 2016) [9783319284569]

【3-4周达】精装 Low-Power Design and Power-Aware Verification [9783319666181]

【3-4周达】精装 New Data Structures and Algorithms for Logic Synthesis and Verification (1st ed. 2017) [9783319431734]

【3-4周达】Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada... [9783319415390]

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

【3-4周达】Embedded System Design : Modeling, Synthesis and Verification [9781489985309]

【3-4周达】Open Verification Methodology Cookbook [9781489985132]

【3-4周达】IET Wiring Regulations: Design and Verification of Electrical Installations: Design and Ve... [9781138606005]

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

【3-4周达】精装 Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach (1st ed. 2017) [9783319470146]

【3-4周达】精装 Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (1... [9783319728131]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techn... [9783319471655]

【3-4周达】精装 Modelling and Verification of Secure Exams [9783319671062]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Distributed System... [9783030034238]

【3-4周达】Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, ... [9783642221095]

【3-4周达】Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Work... [9783319671123]

【3-4周达】精装 String Analysis for Software Verification and Security [9783319686684]