Types for Proofs and Programs International Workshop Types 2006 LNCS 4502
USD 26.76 USD
Specifications
| ISBN | 9783540744634 |
You will find that Big Boxer texts have a cover that resists water spills.