Tell your friends about this item:
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 - Digital Innovations in Architecture, Engineering and Construction 2023 edition
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 - Digital Innovations in Architecture, Engineering and Construction
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 3, 2024 |
| ISBN13 | 9789819922192 |
| Publishers | Springer Verlag, Singapore |
| Pages | 515 |
| Dimensions | 150 × 220 × 10 mm · 814 g |
| Editor | Mora, Placido Lizancos |
| Editor | Morais, Franklim |
| Editor | Viana, David Leite |
| Editor | Vieira Vaz, Jorge |