verification

【3-4周达】Advanced Verification Techniques : A SystemC Based Approach for Successful Tapeout [9781441954091]

【3-4周达】Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, Septemb... [9783319111636]

【3-4周达】精装 Computer Aided Verification: Emerging Trends [9781639876938]

【3-4周达】Formal Verification of Circuits [9781441949851]

【3-4周达】精装 Embedded Systems Handbook: Embedded Systems Design and Verification [9781439807552]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Verification Princ... [9783031198489]

【3-4周达】Digital System Verification: A Combined Formal Methods and Simulation Framework [9783031798146]

预订 Verification and Evaluation of Computer and Communication Systems 18th International Conference, VECoS 2025, Paris,

【3-4周达】Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, Octob... [9783031442667]

【3-4周达】Introducing Software Verification with Dafny Language : Proving Program Correctness (1st e... [9781484279779]

【3-4周达】Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 20... [9783031787492]

【3-4周达】Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the ... [9783319088662]

【3-4周达】SAE International's Dictionary of Testing, Verification, and Validation [9781468605907]

预订 Validation and Verification of Automated Driving Systems 自动驾驶系统的验证与确认 9783032132680

【3-4周达】精装 The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems [Wiley电子... [9781848214477]

【3-4周达】Video Verification in the Fake News Era [9783030267544]

【3-4周达】精装 Specification and Verification of Multi-agent Systems [9781441969835]

【3-4周达】Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canad... [9783031656323]

【3-4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, a... [9783031058134]

【3-4周达】精装 Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verificat... [9781402076190]

【3-4周达】精装 Java and the Java Virtual Machine : Definition, Verification, Validation [9783540420880]

【3-4周达】Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 202... [9783030888848]

【3-4周达】Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July ... [9783540423454]

【3-4周达】Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July... [9783031377051]

【3-4周达】Sequential Logic Testing and Verification [9781461366225]

【3-4周达】Immigration and Electronic Employment Eligibility Verification (E-Verify) [9781626189539]

【3-4周达】Principles of Verifiable RTL Design : A functional coding style supporting verification pr... [9781475774184]

【3-4周达】Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Cas... [9783540212607]

【3-4周达】Modular Specification and Verification of Object-Oriented Programs [9783540431671]

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