关注微信公众号查券更方便
Big Bad Wolf Investigates Fairy Tales : Fact-checking your favourite stories with SCIENCE! [9781526616265]
Scholastic Guide Checking Your Grammar 英文原版小学英语语法辅导书 学乐英语语法检查指南 进口英语阅读书籍 全英文版
精装 Model Checking 2E 英文原版 模型检测 英文版进口原版英语书籍
模型检测英文原版精装
模型检测 英文原版 Model Checking 2E 英文版进口原版英语书籍
模型检测 英文原版 精装 Model Checking 2E 英文版进口原版英语书籍
英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍
正版 Model Checking 2E 模型检测
模型进口原版英语书籍
模型检测 精装 Model Checking 2E 英文原版科学读物 进口英语书籍
【预售】Model-Checking Based Data Retrieval: An Application
【预售】Efficient Checking of Polynomials and Proofs and the
[预订]Knowing and Checking 9781032178172
【预订】Checking Out with the Payment Request API
【预售】Verification, Model Checking, and Abstract
【预订】Verification, Model Checking, and Ab...
【预订】Model Checking Software 9783030846282
【预售】Model Checking Software: 11th International SPIN
【预订】Model Checking Software
【预售】Model Checking Software: 13th International Spin
【预售】Model Checking and Artificial Intelligence: 5th
【预售】Model Checking Software: 18th International Spin
【预售】Model Checking Software
【预售】Verification, Model Checking, and Ab...
【预售】Model Checking Software: 17th International SPIN
【预售】Model Checking Software: 10th International SPIN
【预售】Model Checking Software: 15th International SPIN
[预订]Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, 9783031321566
【预订】Verification, Model Checking, and Abstract Interpretation
【预售】Symbolic Model Checking
【预订】Theoretical and Practical Aspects of SPIN Model Checking
【预订】Model Checking and Artificial Intelligence
【预售】Model Checking Software: 12th International SPIN
【预售】Model Checking Software: 9th International Spin
【预售】Verification, Model Checking, and Abstract Interpretation
【预售】Medical Billing Training: A workbook/Checklist Guide for Checking Medical Claim Status
【预订】Conformance Checking and Diagnosis in Process Mining
【预售】Model Checking
【预售】25 Years of Model Checking: History, Achievements
【预售】Using Model Checking to Generate Test Cases for
现货 模型检测 第2版 英文原版 Model Checking Edmund M Clark 麻省理工学院出版社
【预售】New Methods of Concurrent Checking
【预售】Checking Theory and Grammatical Functions in
【预售】Conformance Checking
海外直订Checking the Waste A Study in Conservation 环保研究中的废物检查
【预售 按需印刷】Statistical structures and consistent criteria for checking hipothese
海外直订Checking Out with the Payment Request API: A Practical Introduction to the Html5 使用支付请求API检查:使用现
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
海外直订New Methods of Concurrent Checking 并行检查的新方法
海外直订New Methods of Concurrent Checking 并发检查的新方法
海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开:模型检查的部分顺序方法
【预订】Model Checking Quantum Systems
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释:
海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, 模型检查软件:第22届国际研
海外直订Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China 模型检测软件:第26届国际学
预订 按需印刷 Knowing and Checking
【预订】Model Checking, Second Edition
【预订】Model Checking, Synthesis, and Learning 9783030913830
海外直订Checking the Conformance 检查一致性
海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化
海外直订Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, Apr 模型检查软件:第11届国际旋
海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺
海外直订Using Model Checking to Generate Test Cases for Critical Systems 使用模型检查为关键系统生成测试用例
海外直订Xilinx Hdlc Supporting IP Over SONET and Checking 16,32bit CRC Xilinx Hdlc支持IP Over SONET和检查16,3
海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释:
海外直订Model Checking Software: 13th International Spin Workshop, Vienna, Austria, Marc 模型检查软件:第十三届国际
海外直订Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 模型检测与人工智能:2008年
海外直订Conformance Checking and Diagnosis in Process Mining: Comparing Observed and Mod 流程挖掘中的一致性检查与诊
海外直订Model Checking Software 模型检查软件
海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:
海外直订Verification, Model Checking, and Abstract Interpretation: 4th International Con 验证、模型检验和抽象解释:
海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国
海外直订Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor 基于模型检查的数据检索:半
海外直订Efficient Checking of Polynomials and Proofs and the Hardness of Approximation P 多项式的有效检验、证明和逼
海外直订Verification, Model Checking, and Abstract Interpretation: 14th International Co 验证、模型检查和抽象解释:
海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:
海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际
海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:
海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺