
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
- 9789819922161
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2023-08-02
- Sidor
- 515
