TY - BOOK ID - 101699198 TI - Mathematics of program construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, proceedings PY - 2022 SN - 3031169123 3031169115 PB - Cham, Switzerland : Springer, DB - UniCat KW - Computer programming. KW - Computer science KW - Mathematics. KW - Computer mathematics KW - Electronic data processing KW - Mathematics KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Programming UR - https://www.unicat.be/uniCat?func=search&query=sysid:101699198 AB - ER -