Janis Voigtländer - Böcker
Visar alla böcker från författaren Janis Voigtländer. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 9129 - Lecture Notes in Computer Science
Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Häftad, Engelska, 2015
536 kr
Skickas inom 10-15 vardagar
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.