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

Verification 预订 Checking Model
【预订】Verification, Model Checking, and Ab...
￥498券后￥5480人已购买
优惠券￥50 领券购买 
Verification 预订 Checking Model
【预订】Verification, Model Checking, and Ab...
￥498券后￥5480人已购买
优惠券￥50 领券购买 
Interpretation Verification 抽象 Checking
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Verification 预订 Checking Model
【预订】Verification, Model Checking, and Ab...
￥498券后￥5480人已购买
优惠券￥50 领券购买 
Checking 认识检查 Knowing
海外直订Knowing and Checking 认识和检查
￥596券后￥6260人已购买
优惠券￥30 领券购买 
预售 Conformance Checking
【预售】Conformance Checking
￥879券后￥9320人已购买
优惠券￥53 领券购买 
预售 Checking Software Model
【预售】Model Checking Software
￥498券后￥5480人已购买
优惠券￥50 领券购买 
Checking 9783031301667 Verification Annotation
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
￥823券后￥8760人已购买
优惠券￥53 领券购买 
预售 Verification Checking Model
【预售】Verification, Model Checking, and Ab...
￥498券后￥5480人已购买
优惠券￥50 领券购买 
9783030846282 预订 Checking Software
【预订】Model Checking Software 9783030846282
￥498券后￥5480人已购买
优惠券￥50 领券购买 
人工智能 International Intelligence Artificial
海外直订Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 模型检测与人工智能：2008年
￥632券后￥6620人已购买
优惠券￥30 领券购买 
大音探查大灰狼 Investigates
大灰狼科学探查 Big Bad Wolf Investigates Fairy Tales Fact-checking your favourite stories with SCIENCE! 大音
￥64券后￥696人已购买
优惠券￥5 领券购买 
Interpretation Verification 预订 Checking
[预订]Verification, Model Checking, and Abstract Interpretation
￥750券后￥8030人已购买
优惠券￥53 领券购买 
Luxembourg 2024 International Symposium
预订 Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Pr
￥498券后￥5480人已购买
优惠券￥50 领券购买 
2025 International Proceedings Symposium
预订 Model Checking Software 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
￥467券后￥5170人已购买
优惠券￥50 领券购买 
Process 健壮 Conformance Guarantees
海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过
￥839券后￥8690人已购买
优惠券￥30 领券购买 
英文 9780262038836 原版现货
现货英文原版 Model Checking, second edition (Cyber Physical Systems Series) 9780262038836
￥535券后￥5450人已购买
优惠券￥10 领券购买 
Interpretation International Verification Conference
预订 Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France
￥797券后￥8500人已购买
优惠券￥53 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:
￥839券后￥8690人已购买
优惠券￥30 领券购买 
Checking 简明 Verification Annotation
预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南：从模型检查到标
￥608券后￥6580人已购买
优惠券￥50 领券购买 
2015 International Stellenbosch Symposium
预订 Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Pr
￥505券后￥5550人已购买
优惠券￥50 领券购买 
9783031150760 International Symposium 预订
【预订】Model Checking Software: 28th International Symposium, SPIN 2022, Vi 9783031150760
￥1,014券后￥1,0940人已购买
优惠券￥80 领券购买 
2023 International 9783031321566 Symposium
[预订]Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, 9783031321566
￥553券后￥6030人已购买
优惠券￥50 领券购买 
Understanding Introduction Alternating 交互
预订 Concise Introduction to Alternating-Time Temporal Logics A Guide for Understanding the Model-Checking Problem 交互
￥525券后￥5750人已购买
优惠券￥50 领券购买 
Interpretation International Verification Conference
预订 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, US
￥693券后￥7460人已购买
优惠券￥53 领券购买 
回路 9781556179105 Technician 预订
预订 Loop Checking A Technician’S Guide 回路检查：技术人员指南 9781556179105
￥1,027券后￥1,1070人已购买
优惠券￥80 领券购买 
量子算法 Algorithms Principles
海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法
￥902券后￥9320人已购买
优惠券￥30 领券购买 
Interpretation 9783030945824 Verification 预订
【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824
￥932券后￥9850人已购买
优惠券￥53 领券购买 
Interpretation International Verification Conference
预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United
￥809券后￥8620人已购买
优惠券￥53 领券购买 
Interpretation International Verification Conference
预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United
￥809券后￥8620人已购买
优惠券￥53 领券购买 
9783639018912 Checking Abstract Machines
按需印刷不退不换Model Checking Abstract State Machines[9783639018912]
￥1,181券后￥1,3310人已购买
优惠券￥150 领券购买 
预订 Checking Programs with
【预订】Checking C Programs with Lint
￥167券后￥1750人已购买
优惠券￥8 领券购买 
预订 Checking Payment Request
【预订】Checking Out with the Payment Request API
￥352券后￥3910人已购买
优惠券￥39 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,108券后￥1,1580人已购买
优惠券￥50 领券购买 
Epistemological Investigation 9780367141127 Checking
按需印刷不退不换图书Knowing and Checking:An Epistemological Investigation[9780367141127]
￥2,320券后￥2,4700人已购买
优惠券￥150 领券购买 
Interpretation International Verification Conference
预订 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, US
￥693券后￥7460人已购买
优惠券￥53 领券购买 
Interpretation Verification 预订 Checking
【预订】Verification, Model Checking, and Abstract Interpretation
￥823券后￥8760人已购买
优惠券￥53 领券购买 
Verification Techniques Software Checking
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具
￥1,795券后￥1,8550人已购买
优惠券￥60 领券购买 
原版英文英语英文版
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍
￥1,127券后￥1,1770人已购买
优惠券￥50 领券购买 
预售 Checking 印刷 Knowing
预售按需印刷 Knowing and Checking
￥1,626券后￥1,7760人已购买
优惠券￥150 领券购买 