TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-031-16912-0
DO  - doi
AB  - 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.
T1  - Mathematics of program construction :14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, proceedings /
AU  - Komendantskaya, Ekaterina,
VL  - 13544
CN  - QA76.6
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 1449728
KW  - Computer programming
KW  - Computer science
SN  - 9783031169120
SN  - 3031169123
TI  - Mathematics of program construction :14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-16912-0
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-16912-0
ER  -