Mathematics of program construction: 14th international conference, mpc 2022, tbilisi, georgia, september 26–28, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031169113
Date de publication :
22 sept. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.