Название: Formal Methods in Architecture
Автор: Placido Lizancos Mora, David Leite Viana, Franklim Morais
Издательство: Springer
ISBN: 981992216X
Год: 2023
Формат: EPUB
Страниц: 823
Размер: 188,0 МБ
Язык: Английский

This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields.