Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings (Lecture Notes in Computer Science Book 13544)
Mathematics of Program Construction collects the proceedings of MPC 2022, the 14th International Conference on Mathematics of Program Construction. Held in Tbilisi, Georgia, from September 26–28, 2022, this volume appears as number 13544 in the Lecture Notes in Computer Science series.
About This Book
This volume presents the proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022.
The conference took place in Tbilisi, Georgia, from September 26–28, 2022.
Published as volume 13544 in the Lecture Notes in Computer Science series, it is intended for readers interested in the mathematical study and construction of computer programs.
Reviews
No reviews yet. Be the first to review this book!