verification

【3-4周达】精装 String Analysis for Software Verification and Security [9783319686684]

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

【3-4周达】Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germa... [9783319635002]

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

【3-4周达】精装 Electronic Design Automation for IC System Design, Verification, and Testing [9781482254624]

【3-4周达】Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second J... [9783540439134]

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

【3-4周达】精装 Nuclear Non-proliferation and Arms Control Verification : Innovative Systems Concepts [9783030295363]

【3-4周达】精装 Discrete Element Method in the Design of Transport Systems: Verification and Validati... [9783030057121]

预订 Consumer Verification System for Authentic Product [9783330028548]

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

预订 Digital Computer Forensic: Validation and Verification for Disk Imaging [9783847326977]

预订 Formal Verification of Communication Protocols for Wireless Networks [9783846515600]

【3-4周达】Effective Functional Verification : Principles and Processes [9781461498360]

【3-4周达】Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September... [9783031171956]

【3-4周达】精装 Verification of Computer Codes in Computational Science and Engineering [9781584882640]

【3-4周达】New Data Structures and Algorithms for Logic Synthesis and Verification (Softcover reprint... [9783319827537]

【3-4周达】ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Method... [9783319866208]

【3-4周达】Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010... [9783642156427]

【3-4周达】精装 Formal System Verification : State-of the-Art and Future Trends (1st ed. 2018) [9783319576831]

【3-4周达】Operational Semantics and Verification of Security Protocols [9783642430534]

【3-4周达】Fundamentals of IP and SoC Security : Design, Verification, and Debug (Softcover reprint o... [9783319843087]

【3-4周达】Verification of Data-Aware Processes via Satisfiability Modulo Theories (1st ed. 2023) [9783031427459]

【3-4周达】Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, Septe... [9783642298592]

【3-4周达】精装 Verification of Sequential and Concurrent Programs (Third Edition 2009) [9781848827448]

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

【3-4周达】Formal Methods for Hardware Verification: 6th International School on Formal Methods for t... [9783540343042]

【3-4周达】Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 20... [9783030010898]

【3-4周达】Software Verification and Analysis : An Integrated, Hands-On Approach (Softcover reprint o... [9781849968294]

【3-4周达】Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, ... [9783319216898]