关注微信公众号查券更方便
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
[预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658
预订 Hardware and Software: Verification and Testing
预订 Formal Modeling and Verification of Cyber-Physical Systems
预订 Heterogeneous SoC Design and Verification
预订 Automated Technology for Verification and Analysis
预订 Runtime Verification
预订 Design, Specification and Verification of Interactive Systems ’96
[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573
【预订】Operational Semantics and Verification of Security Protocols 9783540786351
【预售】Lectures on Runtime Verification
【预售】String Analysis for Software Verification and Security
预售 按需印刷 Strategic Disarmament, Verification and National Security
【预售】ASIC and FPGA Verification: A Guide to Component
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197611
【预售】SystemVerilog for Verification
【预售】Runtime Verification
【预订】Runtime Verification 9783031171956
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197581
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197550
【预订】Leveraging Applications of Formal Methods, Verification and Validation 9783030891589
[预订]Multicore Hardware-Software Design and Verification Techniques 9781608056859
【预售】A Roadmap for Formal Property Verification
【预售】Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14...
【预订】High-Level Verification
【预订】Functional Verification of Dynamical...
【预订】Numerical Software Verification: 10t...
【预订】Effective Functional Verification
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预订】Facial Kinship Verification: A Machi...
【预售】Verification and Evaluation of Computer and Communication Systems
【预售】Modelling and Verification of Secure Exams
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
【预售】Taxonomies for the Development and Verification of
【预售】Scalable Hardware Verification with Symbolic
【预售】A Unified Approach for Timing Verification and Delay
【预售】Verification by Error Modeling: Using Testing
【预售】Compositional Verification of Concurrent and
【预售】Functional Verification Coverage Measurement and
【预售】The Secd Microprocessor: A Verification Case Study
【预售】Compositional Verification of Concurrent and Real
【预售】Constraint-Based Verification
【预售】High-Level Verification: Methods and Tools for
【预售】Object-Based Image Analysis and Treaty Verification:
【预售】Professional Verification: A Guide to Advanced...
【预售】Methods and Procedures for the Verification and
【预订】Advanced Formal Verification 9781441954206
【预售】Protocol Specification, Testing and Verification XV
【预售】Logic Synthesis and Verification Algorithms
【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E
预售 按需印刷 Strategic Disarmament Verification and National Security
按需印刷Computer-Aided Verification of Coordinating Processes[9780691606057]
【预售 按需印刷】A Formal Framework for Run-Time Verification of Web Applications
预售 按需印刷 Fingerprint Verification on the Vex Processor
[预订]Formal Verification 9780323956123
【预售】Standardized Functional Verification
【预售 按需印刷】Verification and Extension of La Caille s Arc of Meridian at the Cape of Good Hope
【预售 按需印刷】Development and Formal Verification of TTCAN
【预售】Biometric Technologies and Verification Systems
[预订]Formal Verification of Floating-Point Hardware Design
【预售】ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
【预售】Current Trends in Hardware Verification and
【预订】Computational Methods in Transport: Verification and Validation
【预订】Accuracy Verification Methods: Theor...
【预售】Video Verification in the Fake News Era
【预售】Functional Verification of Dynamically
【预售】Effective Functional Verification: Principles and
【预售】Advanced Formal Verification
【预售】VLSI Specification, Verification and Synthesis
【预售】Writing Testbenches: Functional Verification o...
【预订】Accuracy Verification Methods
【预售】Computer Aided Verification: 13th International
【预售】Partial-Order Methods for the Verification of
预售 按需印刷 Signature verification based on a feature extraction technique
【预订】Concurrency Verification
【预售 按需印刷】Verification and Synthesis of Digital Circuits
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
【预订】EDA for IC System Design, Verification, and Testing
预订 Automated Verification of Concurrent Search Structures
【预售 按需印刷】Digital System Verification
【预订】Writing Testbenches: Functional Verification of HDL Models
【预售】Runtime Verification: Third International
【预订】Open Source Software: Quality Verification
【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572
【预订】Computer Aided Verification 9783540677703
[预订]Polynomial Formal Verification of Approximate Functions 9783658418878
【预订】Correct Hardware Design and Verification Methods
【预订】Interactive Systems. Design, Specification, and Verification
【预订】Verification of Digital and Hybrid Systems 9783642640520
【预订】Introduction to Formal Hardware Verification 9783642084775
【预订】Computer Aided Verification