verification

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

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

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

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

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

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

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

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

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

海外直订Scalable Techniques for Formal Verification 用于形式验证的可扩展技术

海外直订Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rusta 面向对象软件的验证。关键方

海外直订Computer Aided Verification: 25th International Conference, Cav 2013, Saint Pete 计算机辅助验证:第2

海外直订Verification of Digital and Hybrid Systems 数字和混合系统的验证

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

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

海外直订Software Testing Basics: Software Verification Fundamentals for All Dedicated Te 软件测试基础:所有专门测试

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

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

海外直订Automatic Verification Methods for Finite State Systems: International Workshop, 有限状态系统自动验证方法:

海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 治疗时验证影像:Igrt的研究指南

海外直订Introduction to Formal Hardware Verification 形式化硬件验证简介

海外直订Formal Verification of Circuits 电路的形式验证

海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释

海外直订Decidability of Parameterized Verification 参数化验证的可判性

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

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

【3-4周达】Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 20... [9783031787089]

按需印刷不退不换Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle[9783836494526]

海外直订Program Verification: Fundamental Issues in Computer Science 程序验证:计算机科学的基本问题

海外直订System-On-A-Chip Verification: Methodology and Techniques 片上系统验证:方法与技术