verification

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

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Software Engineeri... [9783031753862]

预订 Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Intern

【3-4周达】精装 SystemVerilog for Verification : A Guide to Learning the Testbench Language Features ... [9781461407140]

预订 Computer-aided Verification: 9780821865941

预订 The SPIN Verification System: 9780821806807

【3-4周达】Symbolic Algebraic Methods and Verification Methods [9783211835937]

【3-4周达】Metric Driven Design Verification : An Engineer's and Executive's Guide to First Pass Succ... [9781441942555]

【3-4周达】Hardware Verification with System Verilog : An Object-Oriented Framework [9781441944085]

【3-4周达】精装 IET Wiring Regulations: Design and Verification of Electrical Installations: Design a... [9781138606012]

【3-4周达】The Foundations of Program Verification (2. Auflage 1987) [9783322967541]

预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国

【3-4周达】Low-Power Design and Power-Aware Verification [9783319882864]

【3-4周达】Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Sys... [9781461369981]

【3-4周达】Automated Verification of Concurrent Search Structures [9783031006784]

【3-4周达】Hardware and Software: Verification and Testing: 11th International Haifa Verification Con... [9783319262864]

【3-4周达】精装 Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verifi... [9783031561511]

【3-4周达】精装 Modern Hearing Aids : Verification, Outcome Measures, and Follow-Up [9781597564823]

【3-4周达】精装 Verification, Validation and Testing in Software Engineering [9781591408512]

【3-4周达】System-on-a-Chip Verification : Methodology and Techniques [9781475774689]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: 10th International... [9783030891589]

【3-4周达】精装 Wind Turbine System Design: Volume 1: Nacelles, drive trains and verification [9781785618567]

【3-4周达】精装 Functional Verification of Dynamically Reconfigurable FPGA-based Systems [9783319068374]

【3-4周达】The SECD Microprocessor : A Verification Case Study [9781461365891]

【3-4周达】Software Engineering: Specification, Implementation, Verification [9783319870991]

【3-4周达】精装 Gene Network Inference : Verification of Methods for Systems Genetics Data [9783642451607]

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

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 21st International Conference, ... [9783030393212]

【3-4周达】Specification and Verification of Concurrent Systems (1st Edition.) [9783540195818]

【3-4周达】精装 Industrial Used Of Formal Method: Formal Verification [Wiley工业工程] [9781848213630]