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

Interpretation International Verification Conference

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

￥700 券后￥850 0人已购买
优惠券￥ 150  领券购买 
International Francisco Software Workshop

海外直订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: 23rd International Co 验证、模型检验和抽象解释:第2

￥970 券后￥1,070 0人已购买
优惠券￥ 100  领券购买 
等价 Fundamentals Equivalence Principles

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

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
等价 Equivalence 调试 Debugging

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

￥2,286 券后￥2,386 0人已购买
优惠券￥ 100  领券购买 
International Software Workshop Checking

海外直订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  领券购买 
9783031150760 International Symposium 预订

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

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

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Grenoble 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  领券购买 
第十届 International Portland Workshop

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
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  领券购买 
并行 Concurrent Checking 检查

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
International 研讨 Symposium Software

海外直订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

￥944 券后￥994 0人已购买
优惠券￥ 50  领券购买 
校验 Checking Software 模型

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

￥678 券后￥728 0人已购买
优惠券￥ 50  领券购买 
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: Third International W 验证、模型检验与抽象解释:

￥612 券后￥662 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

￥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  领券购买 
柯克检票 Assistant 助理

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

￥1,392 券后￥1,492 0人已购买
优惠券￥ 100  领券购买 
Verification Techniques Checking Software

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

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

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
麻省理工学院英文原版现货

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

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

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

￥882 券后￥932 0人已购买
优惠券￥ 50  领券购买 
使用 Introduction API Practical

海外直订Checking Out with the Payment Request API: A Practical Introduction to the Html5 使用支付请求API检查:使用现

￥354 券后￥384 0人已购买
优惠券￥ 30  领券购买 
Unfoldings 顺序 Approach Checking

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

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

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

￥948 券后￥1,048 0人已购买
优惠券￥ 100  领券购买 
NIST 货物含量 Packaged

海外直订Checking the Net Contents of Packaged Goods (NIST HB 133) 检查包装货物的净含量(NIST hb133)

￥223 券后￥238 0人已购买
优惠券￥ 15  领券购买 
原版英文英语英文版

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

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

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

￥555 券后￥590 0人已购买
优惠券￥ 35  领券购买 
人工智能 Intelligence Artificial Workshop

海外直订Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Ga 模型检查和人工智能：第四次

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation 9783030945824 Verification 预订

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

￥835 券后￥985 0人已购买
优惠券￥ 150  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
程序 Lint Programming Checking

海外直订Checking C Programs with Lint: C Programming Utility 用Lint:C编程实用程序检查C程序

￥189.4 券后￥194.4 0人已购买
优惠券￥ 5  领券购买 
Verification Techniques Checking Software

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

￥1,755 券后￥1,855 0人已购买
优惠券￥ 100  领券购买 