Mathematics of Program Construction Mathematics of Program Construction

Mathematics of Program Construction

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

    • $69.99
    • $69.99

Publisher Description

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.

GENRE
Computing & Internet
RELEASED
2022
21 September
LANGUAGE
EN
English
LENGTH
284
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
42.3
MB
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
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
2021