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 Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are dev...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	SpringerLink (Online service)
Altri autori:	Mora, Plácido Lizancos (Redattore), Viana, David Leite (Redattore), Morais, Franklim (Redattore), Vieira Vaz, Jorge (Redattore)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Edizione:	1st ed. 2023.
Serie:	Digital Innovations in Architecture, Engineering and Construction,
Soggetti:	Buildings > Design and construction. Architecture. Computer-aided engineering. Building Construction and Design. Computer-Aided Engineering (CAD, CAE) and Design. Cities, Countries, Regions.
Accesso online:	https://doi.org/10.1007/978-981-99-2217-8
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!