Mathematics of Program Construction Mathematics of Program Construction

Mathematics of Program Construction

14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings

    • 48,99 €
    • 48,99 €

Description de l’éditeur

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. 
The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.

GENRE
Informatique et Internet
SORTIE
2022
21 septembre
LANGUE
EN
Anglais
LONGUEUR
284
Pages
ÉDITIONS
Springer International Publishing
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
42,3
Mo
Functional and Logic Programming Functional and Logic Programming
2010
Programming Languages and Systems Programming Languages and Systems
2022
Mathematics of Program Construction Mathematics of Program Construction
2019
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
2011
Functional and Logic Programming Functional and Logic Programming
2022
Mathematics of Program Construction Mathematics of Program Construction
2015