关注微信公众号查券更方便
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
【预售】Biometrics: Identity Verification In A Networked
【预售】A Roadmap for Formal Property Verification
【预售】Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14...
【预订】Effective Functional Verification
【预订】High-Level Verification
【预订】Facial Kinship Verification: A Machi...
【预订】Functional Verification of Dynamical...
【预售】Verification and Evaluation of Computer and Communication Systems
【预售】Modelling and Verification of Secure Exams
【预订】Numerical Software Verification: 10t...
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
【预售】Compositional Verification of Concurrent and
【预售】Constraint-Based Verification
【预售】Taxonomies for the Development and Verification of
【预售】A Unified Approach for Timing Verification and Delay
【预售】Methods and Procedures for the Verification and
【预售】Compositional Verification of Concurrent and Real
【预售】Scalable Hardware Verification with Symbolic
【预售】Verification by Error Modeling: Using Testing
【预售】Object-Based Image Analysis and Treaty Verification:
【预订】Advanced Formal Verification 9781441954206
【预售】Professional Verification: A Guide to Advanced...
【预售】Functional Verification Coverage Measurement and
【预售】The Secd Microprocessor: A Verification Case Study
【预售】High-Level Verification: Methods and Tools for
【预售】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
【预售】Video Verification in the Fake News Era
【预订】Accuracy Verification Methods: Theor...
【预订】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
【预售】Writing Testbenches: Functional Verification o...
【预售】Effective Functional Verification: Principles and
【预订】Accuracy Verification Methods
【预售】Partial-Order Methods for the Verification of
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
【预售】Runtime Verification: Third International
【预订】Verification, Model Checking, and Ab...
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Verification
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
【预售】Runtime Verification: Second International
【预售】Runtime Verification: 8th International Workshop, RV
【预售】Empirical Software Engineering and Verification:
【预售】Runtime Verification: 9th International Workshop, RV
【预售】Specification and Verification of Declarative Open
【预售】Verification, Model Checking, and Abstract
【预售】Computer Aided Verification: 10th International
【预售】Verification of Sequential and Concurrent Programs
【预售】Computer Aided Verification: 11th International
【预售】Modelling and Verification of Secure...
【预订】Computer Aided Verification
【预售】Computer Aided Verification: 22nd International
【预售】Computer Aided Verification: 23rd International
【预售】Hardware and Software: Verification and Testing: 5th
【预售】Automated Technology for Verification and Analysis
【预售】Computer Aided Verification
【预订】Computer Aided Verification: 29th In...
【预订】Verification and Evaluation of Compu...
【预订】Hardware and Software: Verification ...
【预售】Simulation and Verification of Electronic and
【预订】Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
【预售】Verification, Model Checking, and Abstract Interpretation
【预订】Software Verification
【预订】Deductive Software Verification: Future Perspectives
【预售】Software Verification and Analysis: An Integrated
【预售】Hardware and Software: Verification and Testing
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
【预订】Automated Technology for Verification and Analysis
【预订】Simulation and Verification of Elect...
【预订】Runtime Verification
【预订】Automatic Verification of Sequential...
【预订】Verification of Business Rules Programs
【预售】Introduction to Formal Hardware Verification