Overview
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.
- | Author: Ekaterina Komendantskaya
- | Publisher: Springer
- | Publication Date: Sep 22, 2022
- | Number of Pages: 284 pages
- | Language: English
- | Binding: Paperback/Computers
- | ISBN-10: 3031169115
- | ISBN-13: 9783031169113
