Opening book details…
Can I read Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings on EtoBox?
Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings by Ekaterina Komendantskaya is a nonfiction available to read on EtoBox.
What is Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings about?
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.
Who reads Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Ekaterina Komendantskaya
- Publisher
- Springer International Publishing Springer
- Published
- 2022
- Language
- EN
- ISBN
- 9783031169120
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Ekaterina Komendantskaya
Browse all works by Ekaterina Komendantskaya
Similar books
- Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings — Thao Dang; Volker Stolz (2022)
- Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings — Graham Hutton,Gerhard Goos,Juris Hartmanis,Elisa Bertino,Wen Gao,Bernhard Steffen,Gerhard Woeginger,Moti Yung (2019)
- Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings — Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (2010)
- Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in Computer Science (7342)) — Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (2012)
- Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings (Lecture Notes in Computer Science, 4014) — Robin Cockett (auth.), Tarmo Uustalu (2006)
- ICT Innovations 2022. Reshaping the Future Towards a New Normal : 14th International Conference, ICT Innovations 2022, Skopje, Macedonia, September 29 – October 1, 2022, Proceedings — Lasko Basnarkov Katerina Zdravkova (2023)