کتاب های نویسنده Ekaterina Komendantskaya (editor)

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings (Lecture Notes in Computer Science, 13544)
Published on: 2022
Unordered Computer Science and Theory English

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in …
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings (Lecture Notes in Computer Science)
Published on: 2022
Unordered Computer Science and Theory English

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in …

Page of