MERLIN '05 Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning About Languages With Variable Binding : September 30, 2005, Tallinn, Estonia

• $29.15

• $24.69

Save $1.71

• RRP $24.97
• $23.26

• $14.84

• $16.71

• $20.96

• $23.85

• $15.25

• $21.89

Save $1.41

• RRP $20.81
• $19.40

Save $1.82

• RRP $20.81
• $18.99

Save $3.90

• RRP $23.58
• $19.68

• $15.35

Save $0.05

• RRP $13.87
• $13.82

Save $10.19

• RRP $34.70
• $24.51

• $30.17

Save $0.73

• RRP $13.87
• $13.14

• $15.00

• $14.07

• $27.76

• $30.54

• $23.23