Types for Proofs and Programs International Workshop Types 2006 LNCS 4502

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502

USD 26.76 USD
SKU: CnL2BCtX
GTIN: 9783540744634
Condition: Good

Specifications

ISBN9783540744634

You will find that Big Boxer texts have a cover that resists water spills.

Related Items