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