verification

【3-4周达】Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-... [9783030320782]

【3-4周达】System-on-Chip Security : Validation and Verification [9783030305987]

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

【3-4周达】Building Bulletproof Software: How Formal Verification Saves the Day [9783384268020]

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

【3-4周达】Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Syst... [9783642212918]

【3-4周达】A Digital Signal Processor for Particle Detectors : Design, Verification and Testing [9783030715618]

【3-4周达】精装 Writing Testbenches: Functional Verification of HDL Models (Second Edition 2003) [9781402074011]

【3-4周达】Trust in Nuclear Disarmament Verification (Softcover reprint of the original 1st ed. 2018) [9783319822341]

【3-4周达】Logic Synthesis and Verification [9781461352532]

【3-4周达】Digital Timing Macromodeling for VLSI Design Verification [9781461359821]

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

【3-4周达】IP Cores Design from Specifications to Production : Modeling, Verification, Optimization, ... [9783319373584]

【3-4周达】Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabric... [9789048179220]

【3-4周达】精装 Compositional Verification of Concurrent and Real-Time Systems [9781402070259]

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

【3-4周达】精装 INCOSE Needs and Requirements Manual: Needs, Requi rements, Validation, Verification ... [9781394152742]

【3-4周达】精装 Embedded Software Verification and Debugging (1st ed. 2017) [9781461422655]

【3-4周达】精装 Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Seco... [9783030871802]

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

【3-4周达】Biometrics: Advanced Identity Verification: The Complete Guide [With CDROM] [9781852332433]

【3-4周达】VLSI Specification, Verification and Synthesis [9781461291978]

【3-4周达】Verification and Validation of Real-Time Software [9783642702266]

【3-4周达】Geometric Product Specification and Verification: Integration of Functionality: Selected C... [9789048163427]

【3-4周达】Introduction to Formal Hardware Verification [9783642084775]

【3-4周达】Interactive Systems. Design, Specification, and Verification: 15th International Workshop,... [9783540705680]

【3-4周达】The Science of Biometrics : Security Technology for Identity Verification [9781498761246]

【3-4周达】精装 Genetic Design Automation : A Practical Approach for the Analysis, Verification and S... [9783030523541]

【3-4周达】Specification and Compositional Verification of Real-Time Systems [9783540549475]

【3-4周达】Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, Jun... [9783540564966]