关注微信公众号查券更方便
JOJO'SLIFEPD水果圆盆和面盆
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
【预售】Verification, Model Checking, and Abstract
【预售】Hardware and Software: Verification and Testing: 5th
【预售】Runtime Verification: Second International
【预订】Facial Kinship Verification: A Machi...
【预售】Runtime Verification: Third International
【预订】Runtime Verification
【预售】Hardware and Software: Verification and Testing
【预售】Software Verification and Analysis: An Integrated
【预售】Runtime Verification: 9th International Workshop, RV
【预售】Partial-Order Methods for the Verification of
【预订】Verification, Model Checking, and Ab...
【预售】Modelling and Verification of Secure...
【预订】Computer Aided Verification: 29th In...
【预售】Computer Aided Verification
【预订】Verification of Business Rules Programs
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Verification
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
【预售】Automated Technology for Verification and Analysis
【预售】Verification, Model Checking, and Abstract Interpretation
【预售】Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14...
【预售】Computer Aided Verification: 11th International
【预订】Hardware and Software: Verification ...
【预订】Computer Aided Verification
【预售】Empirical Software Engineering and Verification:
【预订】Software Verification
【预订】Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
【预订】Deductive Software Verification: Future Perspectives
【预售】Automated Technology for Verification and Analysis:
【预售】Computer Aided Verification: 24th International
【预售】Runtime Verification: 8th International Workshop, RV
【预订】Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th Eai Internati...
【预售】Computer Aided Verification: 23rd International
【预售】Verification, Induction, Termination Analysis:
【预售】Specification and Verification of Declarative Open
【预订】Verification and Evaluation of Compu...
【预订】Automatic Verification of Sequential...
【预订】Runtime Verification: 17th Internati...
【预售】Introduction to Formal Hardware Verification
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Modeling
【预售】Verification, Model Checking, and Ab...
【预售】Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
【预订】Open Source Software: Quality Verification
【预售】Modelling and Verification of Secure Exams
【预订】Process Algebra and Probabilistic Methods. Performance Modelling and Verification
【预订】Numerical Software Verification: 10t...
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
【预订】Verification and Evaluation of Computer and Communication Systems
【预订】Automated Technology for Verification and Analysis
【预售】Verification of Reactive Systems: Formal Methods and
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Applications
【预订】Embedded Systems: Design, Analysis and Verification
【预订】VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability
【预售】Verification and Evaluation of Computer and Communication Systems
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228
【预订】Numerical Software Verification
【预售】Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572
【预售】Lectures on Proof Verification and Approximation
预订 Hardware and Software: Verification and Testing
预订 Design, Specification and Verification of Interactive Systems ’96
预订 Formal Modeling and Verification of Cyber-Physical Systems
预订 Heterogeneous SoC Design and Verification
【预订】Runtime Verification 9783031092664
预订 Automated Technology for Verification and Analysis
【预订】Analysis and Verification of Multiple-Agent Languages
【预订】Hardware and Software: Verification and Testing
【预订】Interactive Systems. Design Specification, and Verification
【预订】Interactive Systems. Design, Specification, and Verification
【预订】Interactive Systems: Design, Specification, and Verification 9783540428077
【预售】Modular Specification and Verification of
【预订】Correct Hardware Design and Verification Methods
