预订 Fake-Checking: A Journalist’s Guide to Deepfakes 伪造核查实务：记者深度伪造指南: 9781032741314

【预售】Formal Equivalence Checking and Design Debugging

【预售】Formal Equivalence Checking and Design Debugging

预订 Knowing and Checking: An Epistemological Investigation 认识与检验：认识论调查: 9780367141127

【预售】Mining and Checking Object Behavior

【预售】Handbook of Model Checking

【预订】Handbook of Model Checking

预订 Symbolic Model Checking: 9780792393801

【预售】Checking Theory and Grammatical Functions in

预售 按需印刷 Knowing and Checking

预订 Wh-Movement and the Theory of Feature-Checking.: 9789027225627

【预售】New Methods of Concurrent Checking

【预订】Model Checking Software: 28th International Symposium, SPIN 2022, Vi 9783031150760

英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

按需印刷不退不换图书Knowing and Checking:An Epistemological Investigation[9780367141127]

海外直订Building Information Modeling: Automated Code Checking and Compliance Processes 建筑信息建模:自动代码检查和

预订不退不换Conformance Checking

海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究

海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，

海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，

海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试

【预订】Verification, Model Checking, and Abstract Interpretation

【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824

预订 Fact-Checking in the Digital Age: How Media Firms Integrate Different Fact-Checking Methods into their Strategy 数

【预售】Conformance Checking

【预售】Using Model Checking to Generate Test Cases for

按需印刷不退不换Model Checking Abstract State Machines[9783639018912]

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

【预订】Verification, Model Checking, and Abstract Interpretation

海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克，助理摄像师

海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具

[预订]Verification, Model Checking, and Abstract Interpretation

海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化

海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨

海外直订New Methods of Concurrent Checking 并行检查的新方法

海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开：模型检查的部分顺序方法

海外直订Checking Out Chekhov: A Guide to the Plays for Actors, Directors, and Readers 查阅契诃夫:给演员、导演和读者

海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化

海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法

海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型

【预订】Model Checking Quantum Systems

【预订】Model Checking, Synthesis, and Learning 9783030913830

【预售】Medical Billing Training: A workbook/Checklist Guide for Checking Medical Claim Status

预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南：从模型检查到标

预订 Fact-Checking Journalism and Political Argumentation: A British Perspective 事实检查新闻与政治论证：英国展望: 97830

预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U

预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U

预订 Getting Jefferson Right: Fact-Checking Claims About Thomas Jefferson: 9798990900622

[预订]Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, 9783031321566

[预订]Knowing and Checking 9781032178172

预订 Editorial Guidelines and Fact-Checking Practices: 9786207842780

预订 Concise Introduction to Alternating-Time Temporal Logics A Guide for Understanding the Model-Checking Problem 交互

预订 Fake-Checking: A Journalist’s Guide to Deepfakes 伪造核查实务：记者深度伪造指南: 9781032741321

【预售】Model Checking Software: 11th International SPIN

【预售】Verification, Model Checking, and Abstract

【预售】Efficient Checking of Polynomials and Proofs and the

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Abstract

【预售】Model Checking and Artificial Intelligence: 5th

【预售】Model Checking Software: 13th International Spin

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Abstract

【预售】Model Checking Software: 18th International Spin

【预售】Model Checking Software

【预订】Verification, Model Checking, and Ab...

【预订】Model Checking Software

【预售】Model Checking Software

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Ab...

【预售】Model Checking Software: 17th International SPIN

【预售】Verification, Model Checking, and Abstract Interpretation

【预售】Model-Checking Based Data Retrieval: An Application

【预订】Verification, Model Checking, and Ab...

【预订】Verification, Model Checking, and Ab...

【预售】Model Checking Software

【预订】Conformance Checking and Diagnosis in Process Mining

【预订】Model Checking Software 9783030846282

预订 Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Pr

【预订】Verification, Model Checking, and Abstract Interpretation

【预订】Verification, Model Checking, and Abstract Interpretation

【预订】Verification, Model Checking, and Abstract Interpretation

【预订】Verification, Model Checking, and Abstract Interpretation

【预售】Symbolic Model Checking

【预订】Model Checking Software

【预订】Verification, Model Checking, and Abstract Interpretation

【预订】Model Checking Software

【预订】Stochastic Model Checking

预订 Model Checking Software: 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

【预订】Model Checking Software 9783642317583

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检

海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过