Unifying Theories of Programming

Discover the power of programming principles with "Unifying Theories of Programming," authored by Jonathan P. Bowen. This compelling book, published by Springer International Publishing AG in 2017, presents a comprehensive analysis stemming from the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, held in Reykjavik, Iceland. Spanning 217 pages, this first edition delves into crucial discussions presented at UTP 2016 alongside the 12th International Conference on Integrated Formal Methods, iFM 2016.

Whether you are a seasoned programmer or a student eager to expand your knowledge, this book offers invaluable insights into the unification of programming theories and methodologies. Elevate your understanding and embrace the foundational concepts that shape modern programming. Don’t miss the opportunity to enhance your library with this essential scholarly resource.