Tallenna
Mathematics of Program Construction
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.
- Alaotsikko
- 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
- Toimittaja
- Ralf Hinze, Janis Voigtländer
- Painos
- 2015 ed.
- ISBN
- 9783319197968
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.6.2015
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 323
