Mathematics of Program Construction
Springer International Publishing AG, 2015
66,50 €On orderDelivery: 2-3 weeks
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
- ISBN-13
- 9783319197968
- ISBN-10
- 3319197967
- Publisher
- Springer International Publishing AG
- Year
- 2015
- Publication date
- 2015-06-12
- Pages
- 323
- Dimensions
- 235x155x