
Formal Methods in Architecture
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022.
- Undertittel
- Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
- Opplag
- 2023 ed.
- ISBN
- 9789819922161
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 2.8.2023
- Antall sider
- 515
