大灰狼科学探查英文原版

大灰狼科学探查英文原版

预订 Qualified: How Competency Checking and Race Collide at Work: 9780063354067

【预售】Checking for Understanding: Formative Assessment Techniques for Your Classroom, 2nd Edition

预订 Smart Tips For Patients: Checking Into Healthcare Facilities

【预售】25 Years of Model Checking: History, Achievements

【预订】Checking Out with the Payment Request API

预售 按需印刷 Knowing and Checking

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

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

【预售】New Methods of Concurrent Checking

【预订】Model Checking Software 9783642317583

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

【预订】Stochastic Model Checking

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

【预售】Verification, Model Checking, and Abstract

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

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

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Abstract

【预订】Model Checking Software

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

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

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

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

【预售】Verification, Model Checking, and Abstract

【预售】Verification, Model Checking, and Abstract

【预售】Model Checking Software

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

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

【预售】Model Checking Software

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

【预订】Conformance Checking and Diagnosis in Process Mining

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

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

【预售】Model Checking Software

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

【预订】Model Checking Software 9783030846282

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

【预售】Symbolic Model Checking

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

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

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

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

【预订】Model Checking Software

【预订】Model Checking and Artificial Intelligence

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

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

【预订】Model Checking Software

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

【预订】Theoretical and Practical Aspects of SPIN Model Checking

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

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

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

预订Conformance Checking

预订 Editorial Guidelines and Fact-Checking Practices: 9786207842780

[预订]Knowing and Checking 9781032178172

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

【预售】Checking Theory and Grammatical Functions in

预订 Symbolic Model Checking: 9780792393801

预订 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

按需印刷Improving Scalability of Model Checking Software Architectures[9783639101423]

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

【预售】Handbook of Model Checking

【预订】Handbook of Model Checking

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

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

预订 The Interactive Home Repair Fact Checking Guide: 9781463582470

【预售】Equivalence Checking of Digital Circuits:

海外直订Model Checking Software 模型校验软件

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

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

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

海外直订Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherl 模型检查软件：201

海外直订Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 模型检验和人工智能：第六届

【预售】Mining and Checking Object Behavior

【预订】Model Checking Quantum Systems

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

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

英文原版 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

【预售】Formal Equivalence Checking and Design Debugging

【预售】Formal Equivalence Checking and Design Debugging

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

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

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

海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·

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

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

预订 Fact-Checking My Life 事实核查我的生活: 9780593136737

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

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

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