
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.
- Undertitel
- Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
- Upplaga
- 2023 ed.
- ISBN
- 9789819922192
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2024-08-03
- Sidor
- 515
