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

Understanding Introduction Alternating 交互

预订 Concise Introduction to Alternating-Time Temporal Logics A Guide for Understanding the Model-Checking Problem 交互

￥485 券后￥575 0人已购买
优惠券￥ 90  领券购买 
Interpretation International Verification Verificati

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

￥944 券后￥994 0人已购买
优惠券￥ 50  领券购买 
9781463582470 Interactive 预订 Checking

预订 The Interactive Home Repair Fact Checking Guide: 9781463582470

￥108 券后￥118 0人已购买
优惠券￥ 10  领券购买 
预售 Equivalence Debugging Checking

【预售】Formal Equivalence Checking and Design Debugging

￥1,792 券后￥1,972 0人已购买
优惠券￥ 180  领券购买 
预售 International Software Checking

【预售】Model Checking Software: 10th International SPIN

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
预售 International Software Checking

【预售】Model Checking Software: 9th International Spin

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
柯克检票 Assistant 助理

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

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

【预订】Theoretical and Practical Aspects of SPIN Model Checking

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

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

￥540 券后￥590 0人已购买
优惠券￥ 50  领券购买 
预订 Checking Software Model

【预订】Model Checking Software

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
预售 International Software Checking

【预售】Model Checking Software: 12th International SPIN

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
使用 Introduction API Practical

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

￥378 券后￥408 0人已购买
优惠券￥ 30  领券购买 
Verification 预订 Checking Model

【预订】Verification, Model Checking, and Ab...

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
预订 Checking Payment Request

【预订】Checking Out with the Payment Request API

￥331 券后￥391 0人已购买
优惠券￥ 60  领券购买 
预售 Achievements Checking History

【预售】25 Years of Model Checking: History, Achievements

￥324 券后￥384 0人已购买
优惠券￥ 60  领券购买 
预售 Equivalence Debugging Checking

【预售】Formal Equivalence Checking and Design Debugging

￥1,792 券后￥1,972 0人已购买
优惠券￥ 180  领券购买 
人工智能第六届 International Intelligence

海外直订Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 模型检验和人工智能：第六届

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Intelligence Artificial 预订 Checking

【预订】Model Checking and Artificial Intelligence

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Interpretation Verification 预订 Abstract

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

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
原版英文英语英文版

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

￥1,068 券后￥1,218 0人已购买
优惠券￥ 150  领券购买 
Interpretation International Verification 抽象

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
预订 Checking Software Model

【预订】Model Checking Software

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
预售 Equivalence Circuits Checking

【预售】Equivalence Checking of Digital Circuits:

￥1,463 券后￥1,643 0人已购买
优惠券￥ 180  领券购买 
预订 Programs Checking Lint

【预订】Checking C Programs with Lint

￥165 券后￥175 0人已购买
优惠券￥ 10  领券购买 
量子算法 Principles Algorithms

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

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

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

￥1,133 券后￥1,233 0人已购买
优惠券￥ 100  领券购买 
原版英文英语英文版

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

￥1,028 券后￥1,178 0人已购买
优惠券￥ 150  领券购买 
International Stellenbosch Symposium Software

海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, 模型检查软件：第22届国际研

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification Techniques Checking Software

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

￥1,505 券后￥1,605 0人已购买
优惠券￥ 100  领券购买 
人工智能 Intelligence Artificial Workshop

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

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

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

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
原版英文英语英文版

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

￥1,068 券后￥1,218 0人已购买
优惠券￥ 150  领券购买 
Interpretation 9783030945824 Verification 预订

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

￥865 券后￥985 0人已购买
优惠券￥ 120  领券购买 
NIST 货物含量 Packaged

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

￥223 券后￥238 0人已购买
优惠券￥ 15  领券购买 
Interpretation Verification 预订 Abstract

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

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Interpretation Verification 预订 Abstract

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

￥756 券后￥876 0人已购买
优惠券￥ 120  领券购买 
预售 Concurrent Checking Methods

【预售】New Methods of Concurrent Checking

￥915 券后￥1,095 0人已购买
优惠券￥ 180  领券购买 
预售 International Software Checking

【预售】Model Checking Software: 15th International SPIN

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
原版中商英文现货

现货模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】

￥676 券后￥726 0人已购买
优惠券￥ 50  领券购买 
Unfoldings 顺序 Approach Checking

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

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