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