Checking什么牌子好,Checking哪里有卖? - 第2页

Process 健壮 Conformance Guarantees

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

￥819 券后￥869 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

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

￥970 券后￥1,070 0人已购买
优惠券￥ 100  领券购买 
原版中商酒店业英文

现货 Checking Out 英文原版退房：共享经济对酒店业未来的影响 Katherine Doggrell【中商原版】

￥174 券后￥179 0人已购买
优惠券￥ 5  领券购买 
等价 Equivalence 调试 Debugging

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

￥2,286 券后￥2,386 0人已购买
优惠券￥ 100  领券购买 
Interpretation Verification 预订 Checking

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

￥653 券后￥803 0人已购买
优惠券￥ 150  领券购买 
Luxembourg 2024 International Symposium

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

￥448 券后￥548 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification 抽象

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

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

￥819 券后￥869 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France

￥700 券后￥850 0人已购买
优惠券￥ 150  领券购买 
Interpretation International Verification 抽象

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
等价 Fundamentals Equivalence Principles

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

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
2025 International Proceedings Symposium

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

￥417 券后￥517 0人已购买
优惠券￥ 100  领券购买 
9783031150760 International Symposium 预订

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

￥894 券后￥1,094 0人已购买
优惠券￥ 200  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
英文 9780262038836 原版现货

现货英文原版 Model Checking, second edition (Cyber Physical Systems Series) 9780262038836

￥535 券后￥545 0人已购买
优惠券￥ 10  领券购买 
Interpretation International Verification 抽象

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
等价 Fundamentals Equivalence Principles

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

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
第十届 International Checking Software

海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Checking 简明 Verification Annotation

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

￥558 券后￥658 0人已购买
优惠券￥ 100  领券购买 
Understanding Introduction Alternating 交互

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

￥475 券后￥575 0人已购买
优惠券￥ 100  领券购买 
International Francisco Checking Software

海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
并行 Concurrent Checking 检查

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification 抽象

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Conference

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

￥646 券后￥746 0人已购买
优惠券￥ 100  领券购买 
2023 International 9783031321566 Symposium

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

￥503 券后￥603 0人已购买
优惠券￥ 100  领券购买 
校验 Checking Software 模型

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

￥678 券后￥728 0人已购买
优惠券￥ 50  领券购买 
检查方框 Checklists 编写

海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元

￥587 券后￥637 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Verificati

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

￥944 券后￥994 0人已购买
优惠券￥ 50  领券购买 
International 研讨 Symposium Checking

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification Verificati

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

￥819 券后￥869 0人已购买
优惠券￥ 50  领券购买 
回路 9781556179105 Technician 预订

预订 Loop Checking A Technician’S Guide 回路检查：技术人员指南 9781556179105

￥907 券后￥1,107 0人已购买
优惠券￥ 200  领券购买 
自旋 Theoretical Internatio Practical

海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United

￥712 券后￥862 0人已购买
优惠券￥ 150  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United

￥712 券后￥862 0人已购买
优惠券￥ 150  领券购买 
Interpretation International Verification 抽象

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
柯克检票 Assistant 助理

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

￥1,392 券后￥1,492 0人已购买
优惠券￥ 100  领券购买 
预订 Checking Programs with

【预订】Checking C Programs with Lint

￥165 券后￥175 0人已购买
优惠券￥ 10  领券购买 