英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
¥828.00
【预售 按需印刷】Object-oriented Quality and Risk Manageme
¥125.80
预售 按需印刷 Logical Reasoning 北京发货,付款后10天内发货
¥302.00
预订 Logical Reasoning: A First Course [ISBN:9780954300678] 【全球购】进口原版图书,约3-6周到达国内后发出
¥329.00
预订 Type Theory and Formal Proof:An Introduction [ISBN:978110 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥868.00
按需印刷Object-oriented Quality and Risk Management (OQRM). A pr 预订,预计下单后2-3周左右发货!
¥148.00
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明 海外发货,付款后预计2-4周到货
¥1055
预订 Type Theory and Formal Proof 预订,预计下单后3-4周左右发货!
¥1082
预订Object-oriented Quality Management (OQRM). Een Praktische 预订,下单后3-4周发货!
¥237.00