Cover Image

Formal Methods in Architecture Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Eloy, Sara. (Editor, http://id.loc.gov/vocabulary/relators/edt), Leite Viana, David. (Editor, http://id.loc.gov/vocabulary/relators/edt), Morais, Franklim. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vieira Vaz, Jorge. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:1st ed. 2021.
Series:Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development,
Subjects:
Architecture.
Regional planning.
Urban planning.
Civil engineering.
Computer science.
Mathematics.
Architecture, general.
Landscape/Regional and Urban Planning.
Civil Engineering.
Computer Science, general.
Mathematics, general.
Online Access:https://doi.org/10.1007/978-3-030-57509-0

Internet

https://doi.org/10.1007/978-3-030-57509-0

Similar Items