Formal Methods in Architecture

Saved in:
書目詳細資料
主要作者: Marques, Bruno
其他作者: Ruivo, Catarina, Viana, David Leite, Vaz, Jorge Vieira
格式: 電子書
語言:英语
出版: Springer Nature, 2025.
主題:
在線閱讀:Access eBook
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!