Formal Methods in Architecture
Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Digital Innovations in Architecture, Engineering and Construction
Mora, Plácido Lizancos (EDT)
Viana, David Leite (EDT)
Morais, Franklim (EDT)
- 出版社：Springer Verlag, Singapore
- 出版年月：2024年 08月
- ISBN：9789819922192
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2023
- 巻数・ページ数：515 p.