Mathematics of program construction: 13th international conference, mpc 2019, porto, portugal, october 7–9, 2019, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030336356
Date de publication :
20 oct. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.