Spara
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.
- Undertitel
- 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
- Redaktör
- Ralf Hinze, Janis Voigtländer
- Upplaga
- 2015 ed.
- ISBN
- 9783319197968
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2015-06-12
- Sidor
- 323
