77 元券TypesInternational9783540665373Programs￥5600去看看澜瑞图书专营店发布了【3-4周达】Types for Proofs and Programs : International Workshop, TYPES '98, Kloster Irsee, Germany,... [9783540665373]
![【3-4周达】Types for Proofs and Programs : International Workshop, TYPES '98, Kloster Irsee, Germany,... [9783540665373]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01SmGF1H28LaMlNSaio_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
