کارت اعتباری یلدا با 3,000,000 تومان اعتبار دانلود! جهت توضیحات بیشتر کلیک کنید
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
Ekaterina Komendantskaya, 3031169115, 978-3031169113, 9783031169113, B0BG4B495Z, 978-3-031-16911-3, 978-3-031-16912-0
English | 2022 | PDF
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.