Formal methods in architecture proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 /
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Corua 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are deve...
Full description
Saved in:
| Corporate Authors: |
International Symposium on Formal Methods in Architecture La Coruña, Spain) |
| Other Authors: |
International Symposium on Formal Methods in Architecture, Lizancos, Plácido., Viana, David Leite., Morais, Franklim., Vieira Vaz, Jorge., SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Singapore :
Springer,
[2023]
|
| Physical Description: |
1 online resource (522 pages).
|
| Series: |
Digital innovations in architecture, engineering and construction.
|
| Subjects: |
|