Types for Proofs and Programs

作者: Meinhardt, Holger Ingmar; Callaghan, P.; Luo, Z.
出版年: 2002-3
页数: 242
定价: $ 101.69
ISBN: 9783540432876
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

仇知少年猪团长
仇知少年猪团长
2011年10月3日 想读


> 1人想读

二手市场

订阅关于Types for Proofs and Programs的评论:
feed: rss 2.0