紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Formal methods in architectureedited by Placido Lizancos Mora ... [et al.]. |
其他題名: |
proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 / |
其他題名: |
6FMA |
其他作者: |
Mora, Placido Lizancos. |
團體作者: |
|
出版者: |
Singapore :Springer Nature Singapore :2023. |
面頁冊數: |
xxviii, 515 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
ArchitectureCongresses.Data processing |
電子資源: |
https://doi.org/10.1007/978-981-99-2217-8 |
ISBN: |
9789819922178$q(electronic bk.) |