Tallenna
Formal Methods in Architecture
This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.
- Alaotsikko
- Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
- Toimittaja
- Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
- Painos
- 1st ed. 2021
- ISBN
- 9783030575083
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 5.1.2021
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 313
