海外直订Formal Methods at the Crossroads: From Panacea to Founda
¥553.00
3-6周达 Tests and Proofs: 10th International Conference, Tap 2 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥507.00
预订 Formal Methods for Components and Objects: 9th Internatio 【全球购】进口原版图书,约3-6周到达国内后发出
¥513.00
【预订】Formal Methods for Components and Objects: 9th 美国库房发货,通常付款后3-5周到货!
¥608.00
预订 Formal Methods at the Crossroads. From Panacea to Foundat 【全球购】进口原版图书,一般5-8周左右到国内
¥650.00
Formal Methods at the Crossroads. From Panacea to Foundation
¥645.90