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

Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:
￥819券后￥8690人已购买
优惠券￥50 领券购买 
并行 Concurrent Checking 检查
海外直订New Methods of Concurrent Checking 并行检查的新方法
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
等价 Fundamentals Equivalence Principles
海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2
￥970券后￥1,0700人已购买
优惠券￥100 领券购买 
校验 Checking Software 模型
海外直订Model Checking Software 模型校验软件
￥678券后￥7280人已购买
优惠券￥50 领券购买 
International Checking Software Workshop
海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺
￥612券后￥6620人已购买
优惠券￥50 领券购买 
International Francisco Checking Software
海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺
￥612券后￥6620人已购买
优惠券￥50 领券购买 
International 研讨 Symposium Checking
海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
等价 Equivalence 调试 Debugging
海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试
￥2,286券后￥2,3860人已购买
优惠券￥100 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Interpretation International Verification Verificati
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
￥944券后￥9940人已购买
优惠券￥50 领券购买 
英文 9780262038836 原版现货
现货英文原版 Model Checking, second edition (Cyber Physical Systems Series) 9780262038836
￥535券后￥5450人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:
￥612券后￥6620人已购买
优惠券￥50 领券购买 
第十届 International Checking Software
海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋
￥612券后￥6620人已购买
优惠券￥50 领券购买 
等价 Fundamentals Equivalence Principles
海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
Interpretation International Verification Verificati
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
￥819券后￥8690人已购买
优惠券￥50 领券购买 
检查方框 Checklists 编写
海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元
￥587券后￥6370人已购买
优惠券￥50 领券购买 
自旋 Theoretical Internatio Practical
海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方
￥612券后￥6620人已购买
优惠券￥50 领券购买 
International Checking Software Workshop
海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺
￥612券后￥6620人已购买
优惠券￥50 领券购买 
柯克检票 Assistant 助理
海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克，助理摄像师
￥1,392券后￥1,4920人已购买
优惠券￥100 领券购买 
麻省理工学院英文原版现货
现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社
￥540券后￥5900人已购买
优惠券￥50 领券购买 
Unfoldings 顺序 Approach Checking
海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开：模型检查的部分顺序方法
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
Verification Techniques Software Checking
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具
￥1,755券后￥1,8550人已购买
优惠券￥100 领券购买 
麻省理工学院英文原版现货
现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社
￥540券后￥5900人已购买
优惠券￥50 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 7th International Con 验证、模型检查和抽象解释：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
原版中商英文现货
现货模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】
￥676券后￥7260人已购买
优惠券￥50 领券购买 
International Stellenbosch Symposium Checking
海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, 模型检查软件：第22届国际研
￥612券后￥6620人已购买
优惠券￥50 领券购买 
人工智能第六届 International Intelligence
海外直订Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 模型检验和人工智能：第六届
￥612券后￥6620人已购买
优惠券￥50 领券购买 
并发 Concurrent Checking 检查
海外直订New Methods of Concurrent Checking 并发检查的新方法
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
量子算法 Algorithms Principles
海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法
￥951券后￥1,0510人已购买
优惠券￥100 领券购买 
NIST 货物含量 Checking
海外直订Checking the Net Contents of Packaged Goods (NIST HB 133) 检查包装货物的净含量(NIST hb133)
￥223券后￥2380人已购买
优惠券￥15 领券购买 
比例尺细化抽象 Abstraction
海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化
￥1,133券后￥1,2330人已购买
优惠券￥100 领券购买 
9783639018912 Checking Abstract Machines
按需印刷不退不换Model Checking Abstract State Machines[9783639018912]
￥1,325券后￥1,3310人已购买
优惠券￥6 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,028券后￥1,1780人已购买
优惠券￥150 领券购买 
自旋 Spin International Verification
海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第
￥612券后￥6620人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,068券后￥1,2180人已购买
优惠券￥150 领券购买 
Verification Techniques Software Checking
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具
￥1,505券后￥1,6050人已购买
优惠券￥100 领券购买 
废物 Conservation Checking 检查
海外直订Checking the Waste: A Study in Conservation 检查废物：一项保护研究
￥418券后￥4480人已购买
优惠券￥30 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：
￥579券后￥6290人已购买
优惠券￥50 领券购买 