
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.
- Alaotsikko
- Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
- Painos
- 2023 ed.
- ISBN
- 9789819922192
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.8.2024
- Kustantaja
- SPRINGER VERLAG, SINGAPORE
- Sivumäärä
- 515