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

International Checking Software Workshop

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
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 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: 9th International Con 验证、模型检验与抽象解释:第九

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

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

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

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

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

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

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

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

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
英文 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  领券购买 
Interpretation International Verification 抽象

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

￥970 券后￥1,070 0人已购买
优惠券￥ 100  领券购买 
校验 Checking Software 模型

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

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

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

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

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

￥944 券后￥994 0人已购买
优惠券￥ 50  领券购买 
Understanding Introduction Alternating 交互

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

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

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

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

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
International Checking Software Workshop

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

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

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

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Checking 简明 Verification Annotation

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

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

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

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

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

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

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

￥587 券后￥637 0人已购买
优惠券￥ 50  领券购买 
2023 International 9783031321566 Symposium

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

￥503 券后￥603 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification Verificati

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

￥819 券后￥869 0人已购买
优惠券￥ 50  领券购买 
自旋 Theoretical Internatio Practical

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

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

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

￥907 券后￥1,107 0人已购买
优惠券￥ 200  领券购买 
2025 International Proceedings Symposium

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

￥417 券后￥517 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification Conference

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

￥646 券后￥746 0人已购买
优惠券￥ 100  领券购买 
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  领券购买 
柯克检票 Assistant 助理

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

￥1,392 券后￥1,492 0人已购买
优惠券￥ 100  领券购买 
Interpretation 9783030945824 Verification 预订

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

￥835 券后￥985 0人已购买
优惠券￥ 150  领券购买 
Unfoldings 顺序 Approach Checking

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
9783639018912 Checking Abstract Machines

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

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

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

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

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

￥1,505 券后￥1,605 0人已购买
优惠券￥ 100  领券购买 
麻省理工学院英文原版现货

现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

￥555 券后￥590 0人已购买
优惠券￥ 35  领券购买 
量子算法 Algorithms Principles

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

￥882 券后￥932 0人已购买
优惠券￥ 50  领券购买 