verification

海外直订Verification 1995 验证1995

海外直订Compositional Verification of Concurrent and Real-Time Systems 并发和实时系统的组合验证

海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

海外直订Scalable Hardware Verification with Symbolic Simulation 基于符号模拟的可扩展硬件验证

海外直订Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Ap 协调过程的计算机辅助验证：

按需印刷不退不换Verification and Extension of La Caille's Arc of Meridian at the Cape of Good Hope[9783337813291]

海外直订Interactive Systems. Design, Specification, and Verification: 13th International 交互式系统。设计、规范和验

海外直订Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte 利用正式方法的应用、验证和

【3-4周达】Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-1... [9783030884932]

海外直订Automated Technology for Verification and Analysis: 14th International Symposium 自动化验证和分析技术:第14

海外直订Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, 计算机辅助验证:第14届国际

海外直订A Roadmap for Formal Property Verification 正式属性验证的路线图

海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

海外直订The Role of the Measurement and Verification Professional: Judgment and Decision The Role o

海外直订Runtime Verification: A Hands-On Approach in Java 运行时验证:Java中的一种实践方法

【3-4周达】The e Hardware Verification Language (Softcover reprint of the original 1st ed. 2004) [9781475779264]

海外直订Software Verification and Validation for Practitioners and Managers 2nd ed. 从业人员和管理人员的软件验证和

海外直订Analysis, Verification and Transformation for Declarative Programming and Intell 声明式编程和智能系统的分析

海外直订Symbolic Simulation Methods for Industrial Formal Verification 工业形式验证的符号仿真方法

海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证

海外直订Reliability Verification, Testing, and Analysis in Engineering Design 工程设计中的可靠性验证、测试与分析

海外直订Communication Protocol Specification and Verification 通信协议规范与验证

海外直订Interactive Systems: Design, Specification, and Verification: 1st Eurographics W 交互式系统：设计、规范和验

海外直订Verification and Evaluation of Computer and Communication Systems: 12th Internat 计算机和通信系统的验证与评

海外直订Specification and Compositional Verification of Real-Time Systems 实时系统的规范和组成验证

海外直订Next Generation Design and Verification Methodologies for Distributed Embedded C 下一代分布式嵌入式控制系统的设

海外直订Verification and Evaluation of Computer and Communication Systems: 16th Internat Verificati

海外直订A Unified Approach for Timing Verification and Delay Fault Testing 定时验证和延迟故障测试的统一方法

海外直订Advanced Formal Verification 先进的形式验证

海外直订Protocol Specification, Testing and Verification XIV 协议规范、测试与验证