Formal 书籍/杂志/报纸图片 - 养花网

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

首页全部商品

书籍/杂志/报纸

共 915 款相关商品

商品分类

热门搜索

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

Logic Building Formal Theory 9781041117001 so... Automata 4周达 and Languages Introduction Problem 精装

原价 1552销量 0

￥1552 澜瑞图书专营店
the Part 正式 Methods Feder Held 22nd International 方法：第22届国际研讨会 2018 海外直订Formal Symposium

原价 1070销量 0

￥1064 中华商务图书专营店
Verifica 利用形式方法海外直订Leveraging Formal Validation. Methods Applications Verification and 验证和验证

原价 1126销量 0

￥1120 中华商务图书专营店
Theory Proof 海外直订Type and Formal 类型论与形式 Introduction 证明

原价 1131销量 0

￥1125 中华商务图书专营店
Formal 海外直订Introduction the Theory 形式 Languages 语言理论导论

原价 1806销量 0

￥1763 中华商务图书专营店
44th Ifip 海外直订Formal Distributed for Systems Objects Tec Techniques Components and Formal

原价 1203销量 0

￥1196 中华商务图书专营店
第25届国际研讨会 March 海外直订Formal 25th 2023 International Methods Germany Lübeck 正式 Symposium 方法

原价 1203销量 0

￥1196 中华商务图书专营店
Foundati 利用形式方法海外直订Leveraging Formal Validation Methods Applications Verification and 验证和验证

原价 1203销量 0

￥1196 中华商务图书专营店
化学知识 Its 化学知识分析背 Evolution Analysis 演变 for Setting Chemical 形式 Formal 海外直订The Knowledge

原价 1233销量 0

￥1226 中华商务图书专营店
Strength Practice 海外直订Industrial Formal Methods 化方法工业强度形式实践

原价 1850销量 0

￥1840 中华商务图书专营店
Based Solutions Verification 海外直订Sat Scalable Formal 可扩展形式基于sat 化验证解决方案

原价 1850销量 0

￥1840 中华商务图书专营店
Analysis Concept Analytics Data 复杂数据分析概念分析带形式 Formal with 海外直订Complex

原价 1872销量 0

￥1862 中华商务图书专营店
Proof 形式 VHDL模型优化 Semantics Optimizing for 化语义与证明技术 VHDL 海外直订Formal Techniques and Models

原价 1325销量 0

￥1318 中华商务图书专营店
Methods and 化方法与对象技术 Object Technology 海外直订Formal 形式

原价 1325销量 0

￥1318 中华商务图书专营店
Software 正式 Formal Methods International 12th 方法和****工程：第12届 Conference 海外直订Formal Engineering and

原价 1325销量 0

￥1318 中华商务图书专营店
Icann 2005 海外直订Artificial Formal Networks Applications Models 化模型及 Neural and Their 人工神经：形式

原价 1325销量 0

￥1318 中华商务图书专营店
Conference 实践推理：形式 Reasoning and Formal 和应用实践推 Applied 海外直订Practical International Practical

原价 1325销量 0

￥1318 中华商务图书专营店
Methods Third International 海外直订Fme Benefit Industrial Formal and 工业 Advances Fme

原价 1325销量 0

￥1318 中华商务图书专营店
Formal 正式海外直订Formal Software and Conference Engineering 第六届 Methods 6th International 方法与****工程

原价 1325销量 0

￥1318 中华商务图书专营店
分布式系统 the Methods Systems 化方法 How 海外直订Formal for Master Complexity 嵌入式 Distributed 形式 Embedded

原价 1325销量 0

￥1318 中华商务图书专营店
Int Verification 海外直订Leveraging and Formal Applications 4th Validation 方法 Methods 利用正式验证和确认

原价 1325销量 0

￥1318 中华商务图书专营店
Languages Formal Regularity and 有限性与正则性语言中半群与形式 Semigroups 海外直订Finiteness

原价 1325销量 0

￥1318 中华商务图书专营店
化技 International Techniques 实时和容错系统中 Time Third 形式海外直订Formal Systems Real Tolerant Fault and

原价 1325销量 0

￥1318 中华商务图书专营店
Software 正式 Formal Methods International 5th 方法和****工程：第五届 Conference 海外直订Formal Engineering and

原价 1325销量 0

￥1318 中华商务图书专营店
International Symposium Fme 海外直订Fme Benefit Industrial Second Formal Methods 形式

原价 1325销量 0

￥1318 中华商务图书专营店
语义 Semantics VHDL 形式海外直订Formal for

原价 1325销量 0

￥1318 中华商务图书专营店
Conf 4th 2005：Z和B 规 2005 International Development Formal Specification 正式海外直订Zb and

原价 1325销量 0

￥1318 中华商务图书专营店
Refinement Kernels System 海外直订Formal for Operating 形式操作系统内核化细化

原价 1325销量 0

￥1318 中华商务图书专营店
Methods Fme Sym 2001 Software Increasing 提高****生产 Productivity 海外直订Fme for Formal International

原价 1325销量 0

￥1318 中华商务图书专营店
形 Methods Fme International Symposium Formal Europe. 2003 海外直订Fme Pisa

原价 1325销量 0

￥1318 中华商务图书专营店

12 3 4 5 6 7 8 9 10 11 12 31 下一页

客服

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

Copyright © 2026 养花网渝ICP备12002023号-42

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