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