verification

海外直订High-Level Verification: Methods and Tools for Verification of System-Level Desi 验证:用于验证系统级设计的

海外直订Nuclear Non-Proliferation and Arms Control Verification: Innovative Systems Conc 核不扩散与军备控制核查:创

海外直订Object-Based Image Analysis and Treaty Verification: New Approaches in Remote Se 基于物体的图像分析和条约核

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

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

[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573

海外直订Open Verification Methodology Cookbook 开放式验证方法手册

海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动

海外直订Systemverilog for Hardware Description: Rtl Design and Verification Systemverilog用于硬件描述:Rtl设计和验证

海外直订Simulation and Verification of Electronic and Biological Systems 电子与生物系统仿真与验证“，

海外直订Hardware and Software: Verification and Testing 硬件和软件：验证和测试

海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的

海外直订Fundamentals of IP and Soc Security: Design, Verification, and Debug IP和Soc安全基础:设计，验证和调试

[预订]Computer Aided Verification 9781013271175

海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 粒子探测器的数字信号处理器:设

海外直订Lectures on Runtime Verification: Introductory and Advanced Topics 运行时验证讲座：介绍性和高级主题

【预订】Advances in Verification of Time Petri Nets and Timed Automata

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

【预订】Computer Aided Verification

[预订]A Verification System for Short Range Navy Forecasts. 9781013506864

[预订]Computer Aided Verification 9781013271168

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

[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667

海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际

【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍

海外直订Dynamics of the Unicycle: Modelling and Experimental Verification 独轮车动力学：建模与实验验证

[预订]Computer Aided Verification 9781013271144

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证

海外直订New Data Structures and Algorithms for Logic Synthesis and Verification 逻辑综合与验证的新数据结构与算法

[预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759