关注微信公众号查券更方便
预售 按需印刷 Challenges Of Verification
【预售】Higher Order Logic and Hardware Verification
预售 按需印刷 Strategic Disarmament, Verification and National Security
【预售】Biometrics: Identity Verification In A Networked
【预售】A Roadmap for Formal Property Verification
【预订】Functional Verification of Dynamical...
【预订】Effective Functional Verification
【预订】High-Level Verification
【预售】Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14...
【预售】Modelling and Verification of Secure Exams
【预订】Facial Kinship Verification: A Machi...
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
【预售】Verification and Evaluation of Computer and Communication Systems
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预订】Numerical Software Verification: 10t...
【预售】Compositional Verification of Concurrent and
【预售】Taxonomies for the Development and Verification of
【预售】Constraint-Based Verification
【预售】High-Level Verification: Methods and Tools for
【预售】Methods and Procedures for the Verification and
【预售】A Unified Approach for Timing Verification and Delay
【预售】Object-Based Image Analysis and Treaty Verification:
【预售】Professional Verification: A Guide to Advanced...
【预售】Verification by Error Modeling: Using Testing
【预售】Scalable Hardware Verification with Symbolic
【预售】Functional Verification Coverage Measurement and
【预售】The Secd Microprocessor: A Verification Case Study
【预售】Compositional Verification of Concurrent and Real
【预订】Advanced Formal Verification 9781441954206
【预售】Logic Synthesis and Verification Algorithms
【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E
[预订]Formal Verification 9780323956123
【预售】Standardized Functional Verification
预订 Digital System Verification: A Combined Formal Methods and Simulation Framework
【预售】Current Trends in Hardware Verification and
【预售】ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
【预订】Accuracy Verification Methods: Theor...
【预售】Video Verification in the Fake News Era
【预订】Computational Methods in Transport: Verification and Validation
[预订]Formal Verification of Floating-Point Hardware Design
【预售】Advanced Formal Verification
【预售】VLSI Specification, Verification and Synthesis
【预售】Functional Verification of Dynamically
【预售】Computer Aided Verification: 13th International
【预订】Accuracy Verification Methods
【预售】Effective Functional Verification: Principles and
【预售】Writing Testbenches: Functional Verification o...
【预售】Partial-Order Methods for the Verification of
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
【预售】Runtime Verification: Third International
【预售】Runtime Verification: Second International
【预售】Verification of Sequential and Concurrent Programs
【预售】Empirical Software Engineering and Verification:
【预售】Verification, Model Checking, and Abstract
【预售】Simulation and Verification of Electronic and
【预售】Runtime Verification: 8th International Workshop, RV
【预售】Computer Aided Verification: 23rd International
【预售】Computer Aided Verification: 11th International
【预售】Software Verification and Analysis: An Integrated
【预售】Specification and Verification of Declarative Open
【预售】Runtime Verification: 9th International Workshop, RV
【预售】Automated Technology for Verification and Analysis
【预订】Hardware and Software: Verification ...
【预售】Computer Aided Verification: 22nd International
【预售】Computer Aided Verification: 10th International
【预订】Verification, Model Checking, and Ab...
【预订】Computer Aided Verification
【预订】Computer Aided Verification: 29th In...
【预售】Computer Aided Verification: 21st International
【预售】Computer Aided Verification
【预售】Lectures on Proof Verification and Approximation
【预售】Hardware and Software: Verification and Testing: 5th
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Verification
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
【预售】Verification: Theory and Practice: Essays Dedicated
【预订】Simulation and Verification of Elect...
【预售】Verification, Model Checking, and Abstract Interpretation
【预订】Verification and Evaluation of Compu...
【预订】Runtime Verification
【预订】Automatic Verification of Sequential...
【预售】Hardware and Software: Verification and Testing