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

وصف كامل

التفاصيل البيبلوغرافية

مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Marques, Bruno (المحرر), Ruivo, Catarina (المحرر), Leite Viana, David (المحرر), Vieira Vaz, Jorge (المحرر)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
الطبعة:	1st ed. 2025.
سلاسل:	Digital Innovations in Architecture, Engineering and Construction,
الموضوعات:	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.
الوصول للمادة أونلاين:	https://doi.org/10.1007/978-3-032-02782-5
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!