verification

[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness

【预订】Runtime Verification 9783030884932

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

预售 按需印刷 Strategic Disarmament, Verification and National Security

预订 Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification 多功能硬件分析技术：从基

【预订】Hardware and Software: Verification and Testing

【3-4周达】精装 Hardware/Software Co-Design and Co-Verification [9780792396895]

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

【3-4周达】Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach [9780691606057]

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

【预订】Embedded Software Verification and Debugging

【预订】Concurrency Verification

[预订]18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed 9781138606012

【预订】Automated Technology for Verification and Analysis 9783030888848

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

【3-4周达】SystemVerilog for Verification : A Guide to Learning the Testbench Language Features (3rd ... [9781489995001]

【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197550

【3-4周达】Numerical Solutions Applied to Heat Transfer with the SPH Method : A Verification of Appro... [9783031289453]

【3-4周达】Verification and Evaluation of Computer and Communication Systems: 18th International Conf... [9783032204394]

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

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

【预订】Automated Technology for Verification and Analysis 9783031199912

【3-4周达】精装 ESL Models and their Application : Electronic System Level Design and Verification in... [9781441909640]

【3-4周达】精装 Logic Synthesis and Verification [9780792376064]

【3-4周达】精装 Validation and Verification of Knowledge Based Systems : Theory, Tools and Practice [9780792386452]

【3-4周达】Communication Protocol Specification and Verification [9781461375371]

【3-4周达】精装 Sequential Logic Testing and Verification [9780792391883]

【3-4周达】精装 Software Verification and Validation: A Practitioner's Guide [9780890068892]

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

【3-4周达】Pending Verification [9783695126118]