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...

Celý popis

Podrobná bibliografie

Korporativní autor:	SpringerLink (Online service)
Další autoři:	Mora, Plácido Lizancos (Editor), Viana, David Leite (Editor), Morais, Franklim (Editor), Vieira Vaz, Jorge (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Vydání:	1st ed. 2023.
Edice:	Digital Innovations in Architecture, Engineering and Construction,
Témata:	Buildings > Design and construction. Architecture. Computer-aided engineering. Building Construction and Design. Computer-Aided Engineering (CAD, CAE) and Design. Cities, Countries, Regions.
On-line přístup:	https://doi.org/10.1007/978-981-99-2217-8
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!