Utvidet returrett til 31. januar 2025

Mathematics of Program Construction

- 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings

Om Mathematics of Program Construction

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Koenigswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319197968
  • Bindende:
  • Paperback
  • Sider:
  • 323
  • Utgitt:
  • 12. juni 2015
  • Utgave:
  • 2015
  • Dimensjoner:
  • 155x235x18 mm.
  • Vekt:
  • 5153 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse av Mathematics of Program Construction

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Koenigswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Brukervurderinger av Mathematics of Program Construction



Finn lignende bøker
Boken Mathematics of Program Construction finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.