Mathematics of Program Construction

Discover the intricate world of programming through "Mathematics of Program Construction," authored by Ekaterina Komendantskaya. This insightful book is a collection of the refereed proceedings from the 14th International Conference on Mathematics of Program Construction (MPC 2022), held in Tbilisi, Georgia, in September 2022. It features 9 meticulously revised full papers alongside three invited papers, all selected from a competitive pool of 14 submissions. Published by Springer International Publishing AG in 2022, this first edition spans 269 pages, making it an essential read for anyone interested in the mathematical foundations of programming. Whether you're a researcher, practitioner, or student, this book offers valuable insights into the latest developments in the field. Enhance your understanding of program construction with this comprehensive resource.