Formal Methods In Architecture
Formats
Hardback/English
USD 323.10
Description
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 computer science
Facility Management
Enterprise Applicationsgeneral
Constructiongeneral
Cadcam
Urban & Regional
Virtual Worlds