Reihe Digital Innovations in Architecture, Engineering and ConstructionSpringer Singapore × Formal Methods in ArchitectureProceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022Springer SingaporeSoftcover2024235,39 € Formal Methods in ArchitectureProceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022Springer SingaporeHardcover2023235,39 € Formal Methods in ArchitectureProceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022Springer SingaporeeBook2023223,63 €