Mathematics of Program Construction Mathematics of Program Construction

Mathematics of Program Construction

14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings

    • ‏49٫99 US$
    • ‏49٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
٢١ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٨٤
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٤٢٫٣
‫م.ب.‬
Functional and Logic Programming Functional and Logic Programming
٢٠١٠
Programming Languages and Systems Programming Languages and Systems
٢٠٢٢
Mathematics of Program Construction Mathematics of Program Construction
٢٠١٩
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
٢٠١١
Functional and Logic Programming Functional and Logic Programming
٢٠٢٢
Mathematics of Program Construction Mathematics of Program Construction
٢٠١٥