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

Process 健壮 Conformance Guarantees
海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过
￥839券后￥8690人已购买
优惠券￥30 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:
￥839券后￥8690人已购买
优惠券￥30 领券购买 
Interpretation International Verification Verificati
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
￥839券后￥8690人已购买
优惠券￥30 领券购买 
Interpretation Verification 预订 Checking
【预订】Verification, Model Checking, and Abstract Interpretation
￥823券后￥8760人已购买
优惠券￥53 领券购买 
Checking 9783031301667 Verification Annotation
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
￥823券后￥8760人已购买
优惠券￥53 领券购买 
预售 Conformance Checking
【预售】Conformance Checking
￥879券后￥9320人已购买
优惠券￥53 领券购买 
量子算法 Algorithms Principles
海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法
￥902券后￥9320人已购买
优惠券￥30 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 27th International Co 验证、模型检查和抽象解释：
￥940券后￥9700人已购买
优惠券￥30 领券购买 
Interpretation 9783030945824 Verification 预订
【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824
￥932券后￥9850人已购买
优惠券￥53 领券购买 
Interpretation International Verification Verificati
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
￥964券后￥9940人已购买
优惠券￥30 领券购买 
一致性 Conformance Processes Checking
海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型
￥963券后￥1,0030人已购买
优惠券￥40 领券购买 
契诃夫查阅 Directors Checking
海外直订Checking Out Chekhov: A Guide to the Plays for Actors, Directors, and Readers 查阅契诃夫:给演员、导演和读者
￥1,003券后￥1,0430人已购买
优惠券￥40 领券购买 
简明 Verification Annotation Software
海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检
￥1,008券后￥1,0480人已购买
优惠券￥40 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2
￥1,030券后￥1,0700人已购买
优惠券￥40 领券购买 
9783031150760 International Symposium 预订
【预订】Model Checking Software: 28th International Symposium, SPIN 2022, Vi 9783031150760
￥1,014券后￥1,0940人已购买
优惠券￥80 领券购买 
回路 9781556179105 Technician 预订
预订 Loop Checking A Technician’S Guide 回路检查：技术人员指南 9781556179105
￥1,027券后￥1,1070人已购买
优惠券￥80 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,108券后￥1,1580人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,108券后￥1,1580人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,108券后￥1,1580人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,108券后￥1,1580人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,108券后￥1,1580人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,108券后￥1,1580人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,127券后￥1,1770人已购买
优惠券￥50 领券购买 
比例尺细化抽象 Abstraction
海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化
￥1,193券后￥1,2330人已购买
优惠券￥40 领券购买 
Unfoldings 顺序 Approach Checking
海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开：模型检查的部分顺序方法
￥1,285券后￥1,3250人已购买
优惠券￥40 领券购买 
并发 Concurrent Checking 检查
海外直订New Methods of Concurrent Checking 并发检查的新方法
￥1,285券后￥1,3250人已购买
优惠券￥40 领券购买 
International 研讨 Symposium Checking
海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨
￥1,285券后￥1,3250人已购买
优惠券￥40 领券购买 
并行 Concurrent Checking 检查
海外直订New Methods of Concurrent Checking 并行检查的新方法
￥1,285券后￥1,3250人已购买
优惠券￥40 领券购买 
9783639018912 Checking Abstract Machines
按需印刷不退不换Model Checking Abstract State Machines[9783639018912]
￥1,181券后￥1,3310人已购买
优惠券￥150 领券购买 
比例尺细化抽象 Abstraction
海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化
￥1,343券后￥1,3830人已购买
优惠券￥40 领券购买 
柯克检票 Assistant 助理
海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克，助理摄像师
￥1,452券后￥1,4920人已购买
优惠券￥40 领券购买 
预售 Handbook Checking Model
【预售】Handbook of Model Checking
￥1,453券后￥1,5330人已购买
优惠券￥80 领券购买 
预订 Handbook Checking Model
【预订】Handbook of Model Checking
￥1,453券后￥1,5330人已购买
优惠券￥80 领券购买 
Verification Techniques Software Checking
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具
￥1,545券后￥1,6050人已购买
优惠券￥60 领券购买 
预售 Checking 印刷 Knowing
预售按需印刷 Knowing and Checking
￥1,626券后￥1,7760人已购买
优惠券￥150 领券购买 
Verification Techniques Software Checking
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具
￥1,795券后￥1,8550人已购买
优惠券￥60 领券购买 
等价 Fundamentals Equivalence Principles
海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，
￥1,928券后￥1,9880人已购买
优惠券￥60 领券购买 
等价 Fundamentals Equivalence Principles
海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，
￥1,928券后￥1,9880人已购买
优惠券￥60 领券购买 
认识论 Epistemological Investigation Checking
海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究
￥1,961券后￥2,0210人已购买
优惠券￥60 领券购买 
等价 Equivalence 调试 Debugging
海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试
￥2,326券后￥2,3860人已购买
优惠券￥60 领券购买 