Mathematics of Program Construction Mathematics of Program Construction

Mathematics of Program Construction

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

    • US$49.99
    • US$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년
9월 21일
언어
EN
영어
길이
284
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
42.3
MB
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년