Languages
International Symposium on Formal Methods in Architecture (2022 :)
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods in architecture = proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 /
by:
International Symposium on Formal Methods in Architecture (2022 :); Mora, Placido Lizancos.; SpringerLink (Online service)
(Electronic resources)
Subjects
Building Construction and Design.
Formal methods (Computer science)
Mathematics.
Architecture.
Computer-Aided Engineering (CAD, CAE) and Design.
Architecture- Data processing
City planning- Data processing
Civil engineering.
Regional planning- Data processing
Computer science.
Cities, Countries, Regions.