【预订】Formal Methods for Components and Objects: 9th 美国库房发货,通常付款后3-5周到货!
¥520.00
预订 Formal Methods for Components and Objects 9783642252709 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642252709 作者: Bernhard K Aichernig 装帧: 平装-胶订 页数: 391页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2011-12-12 重量: 1g 语种: 其它(含多语) 内容简介 This state-of-the-art survey presents the outcome of the 9th Symposium o
¥744.00
预订 Formal Methods at the Crossroads 9783540205272 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540205272 作者: Bernhard K Aichernig 装帧: 平装-胶订 页数: 453页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2003-11-18 重量: 908g 语种: 其它(含多语) 内容简介 This volume records the 10th Anniversary Colloquium of UNU/IIST, the
¥1074
预订 Formal Methods at the Crossroads. From Panacea to Foundat 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
海外直订Formal Methods at the Crossroads: From Panacea to Founda
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Tests and Proofs: 10th International Conference, Tap 2016 【全球购】进口原版图书,约5-8周到达国内后发出
¥468.00
Formal Methods at the Crossroads. From Panacea to Foundation
¥645.90