verification

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

【3-4周达】精装 Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project [9783030146276]

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

【3-4周达】Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer Schoo... [9783658099930]

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

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

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

【3-4周达】Verification of Arms Reductions : Nuclear, Conventional and Chemical [9783642466861]

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

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

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

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

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

【3-4周达】精装 Computer Structures and Software: Analysis, Integration and Verification [9781647284411]

【3-4周达】Decidability of Parameterized Verification [9783031008832]

【3-4周达】ADAS and Automated Driving: A Practical Approach to Verification and Validation [9781468604122]

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

【3-4周达】Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, P... [9783642180699]

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

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

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

【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]

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

【3-4周达】精装 Verification of Business Rules Programs [9783642400377]

【3-4周达】Symbolic Simulation Methods for Industrial Formal Verification [9781461353959]

【3-4周达】Genetic Design Automation : A Practical Approach for the Analysis, Verification and Synthe... [9783030523572]

【3-4周达】Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 20... [9783031453281]

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

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