Spar
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.
- Undertittel
- 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
- Redaktør
- Ralf Hinze, Janis Voigtländer
- Opplag
- 2015 ed.
- ISBN
- 9783319197968
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 12.6.2015
- Antall sider
- 323
