关注微信公众号查券更方便
AATCCCV25摩擦校正布准r
Thread Size Verification Tool便携式精密螺纹尺寸检查器钥匙扣
JOJO'SLIFEPD水果圆盆和面盆
定制化绿色信息影响研究:探索、验证和解释:exploration verification and interpretation 王建明等 经济书籍
正版书籍 有限元分析:方法、验证与确认:method, verification and valid巴纳·萨伯ó机械工业出版社图书 人天书店畅销书排行榜
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
【预订】Software Verification
【预订】Deductive Software Verification: Future Perspectives
预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo
[预订]Computer Aided Verification 9783031377082
[预订]Computer Aided Verification 9783031377051
预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc
[预订]Computer Aided Verification 9783031377020
【预售】Verification, Validation, And Testing Of Engineered Systems
祈鑫摩擦校正AATCCCVC25布
预订 Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings
预订 Heterogeneous SoC Design and Verification HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging 异构SoC
预订 Guide to Software Verification with Frama-C Core Components, Usages, and Applications Frama-C 软件验证指南：核心组
AATCC摩擦校正布AATCCCVC25
预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
【预售】Computer-Aided Verification of Coordinating Proce
【预订】Formal Verification of Control System Software
[预订]Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification of Approximations f 9783031289453
预订 Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrak
[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573
预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南：从模型检查到标
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197611
[预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658
预订 Guide to Software Verification with Frama-C
【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215
预订 AI Verification Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings 人工智能
预订 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th Int
预订 Verification and Evaluation of Computer and Communication Systems 18th International Conference, VECoS 2025, Paris,
预订 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th In
预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ
预订 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive
预订 Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba
预订 Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan
预订 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, US
预订 Runtime Verification 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings 运
预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197581
[预订]Runtime Verification 9783031442667
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197550
【预订】Concurrency Verification
[预订]Verification, Model Checking, and Abstract Interpretation
【预订】Automated Technology for Verification and Analysis 9783031199912
[预订]Polynomial Formal Verification of Approximate Functions 9783658418878
[预订]Formal Verification of Floating-Point Hardware Design
预订 Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Intern
预订 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nico
[预订]Automated Technology for Verification and Analysis 9783031453311
预订 Rigorous Software Development An Introduction to Program Verification 严谨的软件开发：程序验证导论 第2版 9781447175
预订 Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France
预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
[预订]Automated Technology for Verification and Analysis 9783031453281
预订 Automated Technology for Verification and Analysis 23rd International Symposium, ATVA 2025, Bengaluru, India, Octob
预订 Safety Instrumented System Design Techniques and Design Verification 安全仪表系统设计：技术和设计验证 9781945541438
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489
[预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759
预订 AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings人工
【预售】Higher Order Logic and Hardware Verification
【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E
预订 Embedding Sequential Circuits for their Polynomial Formal Verification 用于多项式形式化验证的时序电路嵌入 978365850
[预订]Formal Verification of Structurally Complex Multipliers
【预售】Practical Design Verification
海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证：
海外直订Software Verification and Analysis: An Integrated, Hands-On Approach 软件验证与分析：一种集成的、实际操作的方法
海外直订Introduction to Formal Hardware Verification 正式硬件验证简介
海外直订Interactive Systems: Design, Specification, and Verification: 1st Eurographics W 交互式系统：设计、规范和验
海外直订Runtime Verification: A Hands-On Approach in Java 运行时验证:Java中的一种实践方法
海外直订Software Quality Approaches: Testing, Verification, and Validation: Software Bes 软件质量方法：测试、验证和
海外直订Introduction to Formal Hardware Verification 形式化硬件验证简介
预订 Validation and Verification of Automated Driving Systems 自动驾驶系统的验证与确认 9783032132680
预订 Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification 多功能硬件分析技术：从基
【预订】Computer-Aided Verification of Coordinating Processes
[预订]Challenges of Software Verification
【预售】Verification of Communication Protocol
预订 Introduction to Finite Element Analysis - Formulation, Verification and Validation 介绍有限元分析：构想，验证和确认
海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：
预订 Verification of Autonomous Systems 自主系统验证 9783031885457
海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释：
海外直订Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, Ma 运行时验证：第八届国际研讨
海外直订Vlsi-Soc: System-On-Chip in the Nanoscale Era - Design, Verification and Reliabi 超大规模集成电路Soc：纳米
海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术：第八届国
海外直订Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, O 计算机辅助验证：第28届国际
海外直订Automated Technology for Verification and Analysis: 18th International Symposium 验证与分析自动化技术:第18届
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Modeling 利用正式方法、验证和确认的
海外直订Computer Aided Verification 计算机辅助验证
