Logical Frameworks
Cambridge University Press, 1991
142,50 €On orderDelivery: 2-3 weeks
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
- ISBN-13
- 9780521413008
- ISBN-10
- 0521413001
- Publisher
- Cambridge University Press
- Year
- 1991
- Publication date
- 1991-09-26
- Pages
- 416
- Dimensions
- 229x152x27
- Weight
- 78