Formal Methods in Architecture Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 /

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and c...

Cijeli opis

Bibliografski detalji

Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	Marques, Bruno (Urednik), Ruivo, Catarina (Urednik), Leite Viana, David (Urednik), Vieira Vaz, Jorge (Urednik)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Izdanje:	1st ed. 2025.
Serija:	Digital Innovations in Architecture, Engineering and Construction,
Teme:	Facility management. Building information modeling. Computer-aided engineering. Urban economics. Virtual reality. Augmented reality. Facility Management. Building Information Modeling. Computer-Aided Engineering (CAD, CAE) and Design. Urban Economics. Virtual and Augmented Reality.
Online pristup:	https://doi.org/10.1007/978-3-032-02782-5
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!