关注微信公众号查券更方便
[预订]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
预订 Design, Specification and Verification of Interactive Systems ’96
预订 Runtime Verification
[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573
【预售】String Analysis for Software Verification and Security
【预售】Lectures on Runtime Verification
【预订】Operational Semantics and Verification of Security Protocols 9783540786351
预售 按需印刷 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
【预售】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
【预订】Functional Verification of Dynamical...
【预订】Facial Kinship Verification: A Machi...
【预售】Modelling and Verification of Secure Exams
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预售】Verification and Evaluation of Computer and Communication Systems
【预订】Numerical Software Verification: 10t...
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
[预订]Multicore Hardware-Software Design and Verification Techniques 9781608056859
【预售】Taxonomies for the Development and Verification of
【预售】Compositional Verification of Concurrent and
【预售】Constraint-Based Verification
【预售】High-Level Verification: Methods and Tools for
【预售】Compositional Verification of Concurrent and Real
【预售】Verification by Error Modeling: Using Testing
【预售】A Unified Approach for Timing Verification and Delay
【预售】Scalable Hardware Verification with Symbolic
【预售】Methods and Procedures for the Verification and
【预售】Object-Based Image Analysis and Treaty Verification:
【预订】Advanced Formal Verification 9781441954206
【预售】Functional Verification Coverage Measurement and
【预售】The Secd Microprocessor: A Verification Case Study
【预售】Professional Verification: A Guide to Advanced...
【预售】Protocol Specification, Testing and Verification XV
【预售】Logic Synthesis and Verification Algorithms
【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E
[预订]Formal Verification 9780323956123
【预售】Standardized Functional Verification
【预售】Biometric Technologies and Verification Systems
【预售】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
【预售】Computer Aided Verification: 13th International
【预售】Writing Testbenches: Functional Verification o...
【预售】Functional Verification of Dynamically
【预售】Effective Functional Verification: Principles and
【预订】Accuracy Verification Methods
【预售】Partial-Order Methods for the Verification of
【预订】Concurrency Verification
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
【预订】EDA for IC System Design, Verification, and Testing
预订 Automated Verification of Concurrent Search Structures
【预订】Writing Testbenches: Functional Verification of HDL Models
【预售】Runtime Verification: Third International
【预订】Verification, Model Checking, and Abstract Interpretation
【预售】Verification, Model Checking, and Abstract
【预售】Runtime Verification: Second 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
【预售】Empirical Software Engineering and Verification:
【预售】Runtime Verification: 8th International Workshop, RV
【预售】Specification and Verification of Declarative Open
【预售】Verification of Sequential and Concurrent Programs
【预订】Runtime Verification
【预售】Computer Aided Verification: 11th International
【预售】Automated Technology for Verification and Analysis
【预售】Computer Aided Verification: 23rd International
【预订】Computer Aided Verification
【预售】Runtime Verification: 9th International Workshop, RV
【预订】Software Verification
【预订】Verification and Evaluation of Compu...
【预售】Computer Aided Verification