Before you read

What will you get from this book?

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.

Ask this book

Your question is answered in the context of this title and author. Each answer uses 2 points.

Sign in to ask the book assistant.

Reader reviews

0 reviews, 4.4 average out of 5

No reviews yet

If you have read this book, help the next reader with your experience.

Write a review

Sign in to publish a review.

Reader questions and answers

Ask a focused question and learn from the community.

Sign in to ask or answer a question.

No questions yet

Be the first to ask a clear, useful question.

Related references that continue this learning path.

Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings

David Page (auth.),Veronica Dahl,Philip Wadler (eds.)

2003 View book

Modern Operating Systems, 3rd Edition (GOAL Series)

Andrew S. Tanenbaum

2008 View book

Data Algorithms with Spark: Recipes and Design Patterns for Scaling Up using PySpark

Mahmoud Parsian

2022 View book

C# Programming for Absolute Beginners

Radek Vystavěl (auth.)

2017 View book

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings (Lecture Notes in Computer Science)