Languages
International Symposium on Formal Methods in Architecture (2020 :)
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods in architecture = proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /
by:
International Symposium on Formal Methods in Architecture (2020 :); Eloy, Sara.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer Science, general.
Formal methods (Computer science)
Mathematics.
Architecture, general.
Architecture- Data processing
Landscape/Regional and Urban Planning.
City planning- Data processing
Civil engineering.
Mathematics, general.
Regional planning- Data processing
Computer science.
Civil Engineering.