Checking 书籍/杂志/报纸价格 - 当当网

首页超级人气榜领券中心限时抢购 9块9包邮 19块9包邮

首页全部商品

书籍/杂志/报纸

共 317 款相关商品

商品分类

热门搜索

新上人气热销价格↑ 价格↓ 不限价格 0-30元 31-100元 101-300元 301-1000元 1001-3000元 3001-10000元 10000元以上

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

原价 662销量 0

￥658 中华商务图书专营店
14th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification

原价 662销量 0

￥658 中华商务图书专营店
17th 模型检查和摘要解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification

原价 662销量 0

￥658 中华商务图书专营店
China 第26届国际学 26th Spin 2019 Symposium Software International 模型检测**** 海外直订Model Beijing Checking

原价 662销量 0

￥658 中华商务图书专营店
验证 and 10th International Interpretation Checking Abstract 模型检验与摘要解释海外直订Verification Model

原价 662销量 0

￥658 中华商务图书专营店
Apr 第11届国际旋 11th Workshop Barcelona Spin Software International 模型检查**** 海外直订Model Spain Checking

原价 662销量 0

￥658 中华商务图书专营店
5th 第5届国 Checking 模型检验与抽象解释 Con International Interpretation Abstract and Model 海外直订Verification

原价 662销量 0

￥658 中华商务图书专营店
4th 模型检验和抽象解释： Checking 验证 Con International Interpretation Abstract and Model 海外直订Verification

原价 662销量 0

￥658 中华商务图书专营店
Marc 第十三届国际 13th Workshop Vienna Spin Software International 模型检查**** 海外直订Model Austria Checking

原价 662销量 0

￥658 中华商务图书专营店
Hardness Checking Proofs 海外直订Efficient Approximation 有效检验 Polynomials 多项式证明和逼 and the

原价 662销量 0

￥658 中华商务图书专营店
San Checking Spin 海外直订Model Francisco 模型检测**** 12th Software 第12届国际纺 International Workshop

原价 662销量 0

￥658 中华商务图书专营店
Portland Checking Spin 海外直订Model 模型检查**** 10th Software 第十届国际旋 International Usa Workshop.

原价 662销量 0

￥658 中华商务图书专营店
April 第九届国际纺 9th Workshop Grenoble Spin Software International 模型检测**** 海外直订Model France Checking

原价 662销量 0

￥658 中华商务图书专营店
验证 and Third International Interpretation Checking Abstract 模型检验与抽象解释海外直订Verification Model

原价 662销量 0

￥658 中华商务图书专营店
验证 and 6th International Interpretation Checking Abstract 模型检验和抽象解释海外直订Verification Con Model

原价 662销量 0

￥658 中华商务图书专营店
July 第十四届国际 14th Workshop Berlin Spin Software International 模型检查**** 海外直订Model Germany Checking

原价 662销量 0

￥658 中华商务图书专营店
验证第九 and 9th International Interpretation Checking Abstract 模型检验与抽象解释海外直订Verification Con Model

原价 662销量 0

￥658 中华商务图书专营店
Toronto Checking Spin 海外直订Model Canada 模型检测**** 8th Software 第八届国际纺 International May Workshop

原价 662销量 0

￥658 中华商务图书专营店
验证 and 8th International Interpretation Checking Abstract 模型检验与抽象解释海外直订Verification Con Model

原价 662销量 0

￥658 中华商务图书专营店
Checking and Spin 海外直订Theoretical 5th 自旋模型检验 Aspects Internatio Practical 理论和实践方 6th Model

原价 662销量 0

￥658 中华商务图书专营店
7th 模型检查和抽象解释： Checking 验证 Con International Interpretation Abstract and Model 海外直订Verification

原价 662销量 0

￥658 中华商务图书专营店
MoChArt Checking 4th 海外直订Model Artificial del and 模型检查和人工智能：第四次 Intelligence Riva Workshop

原价 662销量 0

￥658 中华商务图书专营店
验证 and 15th International Interpretation Checking Abstract 模型检验和抽象解释海外直订Verification Model

原价 662销量 0

￥658 中华商务图书专营店
22nd International Stellenbosch Checking 模型检查****：第22届国际研 2015 Software Spin 海外直订Model Symposium

原价 662销量 0

￥658 中华商务图书专营店
Artificial Intelligence Mochart Checking 模型检验和人工智能：第六届 Workshop and International 海外直订Model 6th

原价 662销量 0

￥658 中华商务图书专营店
International Model Verification 海外直订Spin Spin 自旋模型检验与****验证 and Checking 第 Software Workshop 7th

原价 662销量 0

￥658 中华商务图书专营店
精装 The Checking 英文原版 Press Baier 英文版 Christel Model 计算机模型检验原理书籍进口英语原版 MIT Principles

原价 1158销量 0

￥1158 瑞雅图书专营
精装 The Checking 英文原版 Press Baier 英文版 Christel Model 计算机模型检验原理书籍进口英语原版 MIT Principles

原价 1177销量 0

￥1177 世纪华典图书专营店
Checki 从模型检 Software Model Checking From Verification ****验证简明指南海外直订Concise Annotation Guide

原价 1048销量 0

￥1042 中华商务图书专营店
验证第2 and 23rd International Interpretation Checking Abstract 模型检验和抽象解释海外直订Verification Model

原价 1070销量 0

￥1064 中华商务图书专营店

上一页 123 4 5 6 7 8 9 10 11 下一页

客服

网店产品信息来源各大电商平台，信息仅供展示及参考。如有侵权、错误信息或任何问题，请及时联系我们，我们将在第一时间删除或更正。

Copyright © 2026 当当网渝ICP备12002023号-41

渝公网安备 50010602505163号合作微信MSYX152132