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

Interpretation Verification 预订 Checking

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

￥726 券后￥876 0人已购买
优惠券￥ 150  领券购买 
Checking 9783031301667 Verification Annotation

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

￥726 券后￥876 0人已购买
优惠券￥ 150  领券购买 
量子算法 Algorithms Principles

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

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

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

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

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

￥835 券后￥985 0人已购买
优惠券￥ 150  领券购买 
Interpretation International Verification Verificati

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

￥944 券后￥994 0人已购买
优惠券￥ 50  领券购买 
一致性 Conformance Processes Checking

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

￥903 券后￥1,003 0人已购买
优惠券￥ 100  领券购买 
契诃夫查阅 Directors Checking

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

￥943 券后￥1,043 0人已购买
优惠券￥ 100  领券购买 
简明 Verification Annotation Software

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

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

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

￥970 券后￥1,070 0人已购买
优惠券￥ 100  领券购买 
9783031150760 International Symposium 预订

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

￥894 券后￥1,094 0人已购买
优惠券￥ 200  领券购买 
回路 9781556179105 Technician 预订

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

￥907 券后￥1,107 0人已购买
优惠券￥ 200  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
原版英文英语英文版

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

￥1,008 券后￥1,158 0人已购买
优惠券￥ 150  领券购买 
原版英文英语英文版

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

￥1,027 券后￥1,177 0人已购买
优惠券￥ 150  领券购买 
比例尺细化抽象 Abstraction

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

￥1,133 券后￥1,233 0人已购买
优惠券￥ 100  领券购买 
Unfoldings 顺序 Approach Checking

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
并发 Concurrent Checking 检查

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

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

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
并行 Concurrent Checking 检查

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

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

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

￥1,231 券后￥1,331 0人已购买
优惠券￥ 100  领券购买 
比例尺细化抽象 Abstraction

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

￥1,283 券后￥1,383 0人已购买
优惠券￥ 100  领券购买 
柯克检票 Assistant 助理

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

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

【预订】Handbook of Model Checking

￥1,333 券后￥1,533 0人已购买
优惠券￥ 200  领券购买 
Verification Techniques Software Checking

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

￥1,505 券后￥1,605 0人已购买
优惠券￥ 100  领券购买 
预售 Checking 印刷 Knowing

预售按需印刷 Knowing and Checking

￥1,611 券后￥1,776 0人已购买
优惠券￥ 165  领券购买 
Verification Techniques Software Checking

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

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

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

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

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

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
认识论 Epistemological Investigation Checking

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

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

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

￥2,286 券后￥2,386 0人已购买
优惠券￥ 100  领券购买 
Epistemological Investigation 9780367141127 Checking

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

￥2,370 券后￥2,470 0人已购买
优惠券￥ 100  领券购买 
建模 Information Compliance Automated

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

￥2,499 券后￥2,599 0人已购买
优惠券￥ 100  领券购买 