verification

【4周达】On-Treatment Verification Imaging : A Study Guide for IGRT [9781138499911]，

【4周达】Unsettled Topics in Automated Vehicle Data Sharing for Verification and Validation Purposes [9781468601671]，

【4周达】Hardware Verification with C++ : A Practitioner's Handbook [9781489978974]，

【4周达】Verification and Validation for Modeling and Simulation [9781312740617]，

预订 Design and Verification of Bus Bridge from OCP to AHB [9783847326151]，

【4周达】Logic Synthesis and Verification Algorithms [9781475770360]，

【4周达】Specification and Verification of Multi-Agent Systems [9781489990884]，

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

【4周达】Experimental Design and Verification of a Centralized Controller for Irrigation Canals [9781785483073]，

【4周达】Automatic Verification of Sequential Infinite-State Processes [9783540639824]，

【4周达】Fundamentals of IP and SoC Security : Design, Verification, and Debug [9783319843087]，

【4周达】Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test [9783319989648]，

【4周达】Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VM... [9783540208037]，

【4周达】Real-Time Systems: Scheduling, Analysis, And Verification [Wiley电子电气工程] [9780471184065]，

【4周达】SystemVerilog for Hardware Description : RTL Design and Verification [9789811544040]，

【4周达】Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada,... [9783319542911]，

预订 Fingerprint Verification using Haar Wavelet [9783330034839]，

【4周达】Verification and Evaluation of Computer and Communication Systems: 13th International Confer... [9783030350918]，

【4周达】Scalable Techniques for Formal Verification [9781489984449]，

【4周达】Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VM... [9783030112448]，

【4周达】Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th In... [9783030034207]，

【4周达】Video Verification in the Fake News Era [9783030267513]，

【4周达】Formal System Verification : State-of the-Art and Future Trends [9783319862231]，

【4周达】Verification Methodology Manual for Systemverilog [9781461498131]，

【4周达】Software Verification and Analysis : An Integrated, Hands-On Approach [9781848822399]，

【4周达】Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, ... [9783030284220]，

【4周达】Modelling and Verification of Secure Exams [9783030097899]，

【4周达】Temporal Verification of Reactive Systems : Safety [9781461287018]，

【4周达】Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemin... [9783319471686]，

【4周达】Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July... [9783540677703]，