预订 Formal Methods for Open Object-Based Distributed Systems: 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
海外直订Risk Management in Healthcare and Risk Analysis in Denta
¥423.00
明星店铺 中华商务进口图书旗舰店
预订 高被引Introduction to Concurrency Theory: Transition Systems 【全球购】进口原版图书,约5-8周到达国内后发出
¥431.00
预订 Process Algebras for Petri Nets: The Alphabetization of D 【全球购】进口原版图书,约5-8周到达国内后发出
¥735.00
按需印刷Risk Management in Healthcare and Risk Analysis in Denta 预订,预计下单后2-3周左右发货!
¥496.00
预订 Formal Methods for Open Object-Based Distribute... 978354 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540348931 作者: Roberto Gorrieri 装帧: 平装-胶订 页数: 276页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2006-06-09 重量: 454g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 I
¥966.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540348931 Author 作者 Gorrieri Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-09 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006.
¥520.00
【预订】Process Algebras for Petri Nets 9783319555584 美国库房发货,通常付款后3-5周到货!
¥807.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
明星店铺 中华商务进口图书旗舰店
预售 按需印刷 Risk Management in Healthcare and Risk Ana 北京发货,付款后10天内发货
¥496.00
开放式基于对象分布式系统的正式方法/Formal methods for open object-based distr
¥562.40定价:¥711.90 (7.9折)