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 $
    • 49,99 $

От издателя

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.

ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2022
21 сентября
ЯЗЫК
EN
английский
ОБЪЕМ
284
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
42,3
МБ
Functional and Logic Programming Functional and Logic Programming
2010
Programming Languages and Systems Programming Languages and Systems
2022
Mathematics of Program Construction Mathematics of Program Construction
2019
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
2011
Functional and Logic Programming Functional and Logic Programming
2022
Mathematics of Program Construction Mathematics of Program Construction
2015