verification

【3-4周达】Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15... [9783032054340]

【3-4周达】Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California,... [9783540581796]

预订 National forest monitoring systems: monitoring and measurement, reporting and verification (M & ... [9789251079621]

【3-4周达】Guide to Software Verification with Frama-C: Core Components, Usages, and Applications [9783031556104]

预订 Open Source Based Web-GIS Technology for Voter ID Verification [9783848496068]

【3-4周达】精装 SystemVerilog for Hardware Description : RTL Design and Verification [9789811544040]

【3-4周达】Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification [9783030878849]

预订 Cooperative PDP for Integrity Verification in Multi-Cloud Storage [9786206163855]

预订 Software Fault Prevention, Verification, and Validation Second International Symposium, SFPVV 2025, Shanghai, China

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

【3-4周达】Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, Ju... [9783540733676]

【3-4周达】精装 Systems and Software Verification : Model-Checking Techniques and Tools [9783540415237]

预订 Automated Technology for Verification and Analysis 23rd International Symposium, ATVA 2025, Bengaluru, India, Octob

【3-4周达】Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino [9783540689775]

预订 Hardware Accelerated Functional Verification [9783846559130]

预订 Challenges of Software Verification 软件验证的挑战 9789811996030

【3-4周达】A Unified Approach for Timing Verification and Delay Fault Testing [9781461346395]

【3-4周达】精装 Forecast Verification - A Practioner'S Guide In Atmospheric Science 2E [Wiley地球科学] [9780470660713]

【3-4周达】Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equat... [9789811376719]

【3-4周达】Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, Ju... [9783032325259]

【3-4周达】Security Policy in System-on-Chip Designs: Specification, Implementation and Verification [9783030066666]

预订 Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba

【3-4周达】精装 Formal Methods for Safe Autonomy – Data–driven Verification, Synthesis, and Applica... [9798400708657]

【3-4周达】Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, Augu... [9783031131844]

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

【3-4周达】Hardware and Software: Verification and Testing: 8th International Haifa Verification Conf... [9783642396106]

【3-4周达】精装 Computer-Aided Verification : A Special Issue of Formal Methods In System Design on C... [9780792392859]

【3-4周达】精装 Trust in Nuclear Disarmament Verification (1st ed. 2018) [9783319409870]

【3-4周达】Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, Ju... [9783031986840]

预订 Verification and Error Correction on High-Level Decision Diagrams [9783659355707]