【3-4周达】Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15... [9783032054340]

【3-4周达】AI Literacy for the Workplace: Judgment, Verification, and Knowing When Not to Trust the M... [9798950533273]

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

祈鑫摩擦校正AATCCCVC25布

AATCC摩擦校正布AATCCCVC25

海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证：

【预售】Higher Order Logic and Hardware Verification

海外直订Embedded System Design: Modeling, Synthesis and Verification 嵌入式系统设计：建模、综合和验证

海外直订IP Cores Design from Specifications to Production: Modeling, Verification, Optim 从规范到生产的IP核心设计：

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

海外直订Software Verification and Analysis: An Integrated, Hands-On Approach 软件验证与分析：一种集成的、实际操作的方法

海外直订Software Quality Approaches: Testing, Verification, and Validation: Software Bes 软件质量方法：测试、验证和

海外直订Heterogeneous Soc Design and Verification: Hw/SW Co-Exploration, Co-Design, Co-V 异构Soc设计与验证：软硬件

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

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

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

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

海外直订Design and Verification of SPI Protocol using Verilog 基于Verilog的SPI协议设计与验证

预订 An Introduction to Verification of Visualization Techniques

海外直订Towards an Empirical Verification of the Gravitational Pull Hypothesis: Evidence Towards an

海外直订Modelling and Verification of Secure Exams 安全考试的建模和验证

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

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

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

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

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

海外直订Lectures on Proof Verification and Approximation Algorithms 关于证明验证和近似算法的讲座

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

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

海外直订Modelling and Verification of Secure Exams 安全考试的建模与验证

海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

海外直订Process Algebra and Probabilistic Methods: Performance Modeling and Verification 过程代数和概率方法:性能建模和

海外直订Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, Ma 运行时验证：第八届国际研讨

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

海外直订Empirical Software Engineering and Verification 经验软件工程与验证

海外直订Hardware and Software: Verification and Testing: 10th International Haifa Verifi 硬件和软件:验证和测试:第十

海外直订Numerical Software Verification: 12th International Workshop, Nsv 2019, New York 数字软件验证：第12届国际研

海外直订Runtime Verification: Second International Conference, RV 2011, San Francisco, U 运行时验证:第二届国际会议

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

海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术：第八届国

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

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

海外直订Automatic Verification of Sequential Infinite-State Processes 连续无限状态过程的自动验证

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

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

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

海外直订Formal Approaches to Software Testing and Runtime Verification: First Combined I 软件测试和运行时验证的形式

海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:

海外直订Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Systemc模型的

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

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

海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法

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

海外直订Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, C 计算机辅助验证：第15届国际

海外直订Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathem 硬件规格、验证和综合：数学

海外直订Verification, Induction, Termination Analysis: Festschrift for Christoph Walther 验证、归纳、终止分析：克里

海外直订Computer Aided Verification: 30th International Conference, Cav 2018, Held as Pa 计算机辅助验证：第30届国际

海外直订Embedded Systems: Design, Analysis and Verification: 4th Ifip Tc 10 Internationa 嵌入式系统:设计，分析和验

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

海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国

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

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

海外直订Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel 计算机辅助验证:第九届国际

海外直订Scientific Computation with Automatic Result Verification 具有自动结果验证的科学计算

海外直订Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg 计算机辅助验证：第29届国际

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

海外直订Hardware and Software, Verification and Testing: First International Haifa Verif 硬件和软件，验证和测试:第

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

海外直订Partial-Order Methods for the Verification of Concurrent Systems: An Approach to 并行系统验证的部分阶方法:

海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九

海外直订Design, Specification and Verification of Interactive Systems '95: Proceedings o 1995年交互系统的设计、规范

海外直订Foundations of Computer Software: Modeling, Development, and Verification of Ada 计算机软件基础：自适应系统

海外直订Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, 计算机辅助验证:第23届国际

海外直订Deductive Software Verification: Future Perspect... 演绎软件验证:未来展望

海外直订Computer Aided Verification 计算机辅助验证

海外直订Formal Hardware Verification: Methods and Systems in Comparison 正式的硬件验证:方法和系统的比较

海外直订Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Res 正确的硬件设计和验证方法:

海外直订Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgi 计算机辅助验证:第七届国际

海外直订Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick 计算机辅助验证:第二届国际

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

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

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

海外直订Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stoc 多代理语言的分析与验证:第

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

海外直订Interactive Systems. Design, Specification, and Verification: 10th International 互动系统。设计，规范和验证

海外直订Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research 正确的硬件设计和验证方法:If

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

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

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

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

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

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

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

海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

海外直订Interactive Systems. Design, Specification, and Verification: 7th International 互动系统。设计、规范和验证:第

海外直订Specification and Verification of Concurrent Systems 并发系统的规范与验证

海外直订Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, 运行时验证：第三届国际会议

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

海外直订Formal Methods for Hardware Verification: 6th International School on Formal Met 硬件验证的正式方法：第六国

海外直订Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, C 计算机辅助验证:1992年6月