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