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$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2022
21 tháng 9
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
284
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
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