verification

海外直订Computer Aided Verification: 6th International Conference, Cav '94, Stanford, Ca 计算机辅助验证：第六届国际

海外直订Verification, Model Checking, and Abstract Interpretation: 7th International Con 验证、模型检查和抽象解释：

海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性

海外直订Cryptographic Security Architecture: Design and Verification 密码安全体系结构：设计和验证

海外直订Sat-Based Scalable Formal Verification Solutions 基于sat的可扩展形式化验证解决方案

海外直订Post-Silicon and Runtime Verification for Modern Processors 现代处理器的后硅和运行时验证

海外直订Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research 正确的硬件设计和验证方法：

海外直订Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em 实时嵌入式系统中任务级并发

海外直订Leveraging Applications of Formal Methods, Verification, and Validation: 4th Int 利用正式方法、验证和确认的

形式方法的工业应用 形式验证 Industrial Used Of Formal Method Formal Verification 英文原版 Jean Louis Boulanger 中商

海外直订Specification and Verification of Multi-Agent Systems 多智能体系统的规范与验证

【3-4周达】精装 Constraint-Based Verification [9780387259475]

按需印刷不退不换Computer Aided Verification[9781013270994]

海外直订Automated Technology for Verification and Analys... 验证和分析的自动化技术

海外直订Verification and Validation of Complex Systems: Human Factors Issues

海外直订Professional Verification: A Guide to Advanced Functional Verification 专业验证：高级功能验证指南

海外直订Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verif 验证计划：现代硬件验证语言

海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统：形式化规范和自动验证

海外直订Software Verification and Validation 软件验证和确认

海外直订Hardware and Software: Verification and Testing: 6th International Haifa Verific 硬件和软件：验证和测试：第

海外直订Validation and Verification of Knowledge Based Systems: Theory, Tools and Practi 基于知识系统的验证和验证：

海外直订Constraint-Based Verification 基于约束的验证

按需印刷不退不换Computer-Aided Verification of Coordinating Processes[9780691606057]

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

海外直订The Secd Microprocessor: A Verification Case Study SECD微处理器：验证案例研究

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

【3-4周达】SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, ... [9783540410300]

生物测量学 网络世界的身份验证 Biometrics Identity Verification In A Networked World Samir Nanavati 英文原版【中商原

海外直订Methods and Procedures for the Verification and Validation of Artificial Neural 人工神经的验证和确认方

海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册