Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer International Publishing AG

Růst ceny o 1 %

Nejnižší cena od 10. 9. 2026: 1 322 Kč.

1 336 Kč

Springer International Publishing AG

Celý popis

Do obchodu

O produktu

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.

Tip: Podívejte se také na další produkty z kategorie Počítačová věda.