
Mathematics of Program Construction
The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions.
- Alaotsikko
- 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
- Toimittaja
- Ekaterina Komendantskaya
- Painos
- 1st ed. 2022
- ISBN
- 9783031169113
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.9.2022
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 269