关注微信公众号查券更方便
【原版POD按需印刷】军备控制核查：多少钱足够？（重印版）（精装）Verification原版引进
溢价-福禄克fluke dsx-verification系列6类跳
福禄克fluke dsx-verification系列6类跳( 议价）
预订 Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 使用数据挖掘
预订 Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrak
【预售】Verification, Validation, And Testing Of Engineered Systems
[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573
预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南：从模型检查到标
[预订]Polynomial Formal Verification of Approximate Functions 9783658418878
[预订]Formal Verification of Floating-Point Hardware Design
预订 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,
预订 AI Verification Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings 人工智能
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197581
[预订]Runtime Verification 9783031442667
预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197550
预订 Safety Instrumented System Design Techniques and Design Verification 安全仪表系统设计：技术和设计验证 9781945541438
预订 Rigorous Software Development An Introduction to Program Verification 严谨的软件开发：程序验证导论 第2版 9781447175
[预订]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人工
【预订】Concurrency Verification
[预订]Verification, Model Checking, and Abstract Interpretation
【预订】Automated Technology for Verification and Analysis 9783031199912
【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215
【预售】Higher Order Logic and Hardware Verification
【预订】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
预订 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
【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E
[预订]Automated Technology for Verification and Analysis 9783031453311
预订 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th In
预订 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive
预订 Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France
预订 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
【预售】Practical Design Verification
预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United
预订 Runtime Verification 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings 运
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
[预订]Automated Technology for Verification and Analysis 9783031453281
预订 Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification 多功能硬件分析技术：从基
预订 Validation and Verification of Automated Driving Systems 自动驾驶系统的验证与确认 9783032132680
【预订】Computer-Aided Verification of Coordinating Processes
【预订】Deductive Software Verification: Future Perspectives
【预订】Software Verification
预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo
[预订]Challenges of Software Verification
【预售】Verification of Communication Protocol
预订 Introduction to Finite Element Analysis - Formulation, Verification and Validation 介绍有限元分析：构想，验证和确认
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489
预订 Automated Technology for Verification and Analysis 23rd International Symposium, ATVA 2025, Bengaluru, India, Octob
预订 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 软件验证指南：核心组
预订 Verification of Autonomous Systems 自主系统验证 9783031885457
预订 Embedding Sequential Circuits for their Polynomial Formal Verification 用于多项式形式化验证的时序电路嵌入 978365850
[预订]Formal Verification of Structurally Complex Multipliers
[预订]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
预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
【预售】Computer-Aided Verification of Coordinating Proce
按需印刷不退不换Computer Aided Verification[9781013270994]
按需印刷不退不换LSTM Recurrent Neural Networks for Signature Verification[9783846589946]
预订 Challenges of Software Verification 软件验证的挑战 9789811996030
【预订】Formal Verification of Control System Software
预订 Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings
预订不退不换Formal Verification of Control System Software[9780691181301]
[预订]Numerical Solutions Applied to Heat Transfer with the Sph Method: A Verification of Approximations f 9783031289453
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
【预售】The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems
预订 An Introduction to Verification of Visualization Techniques
预订 Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证 9783031245732
预订不退不换Formal Verification of Floating-Point Hardware Design
【预订】Hardware and Software: Verification and Testing
按需印刷Strategic Disarmament, Verification and National Security[9780367511616]
预订 101 Topics for Clinical Microbiology Laboratory Leaders Accreditation, Verification, Quality Systems, and More 临床
预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国
【预订】Computer Aided Verification
【预售】Computer Aided Verification
【预售】Verification, Model Checking, and Ab...
【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...
【预售】Verification, Model Checking, and Abstract Interpretation
