語系
International Symposium on Formal Methods in Architecture (2022 :)
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
主題
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.