Related Books

Formal Methods in Architecture and Urbanism
Language: en
Pages: 405
Authors: David Leite Viana
Categories: Architecture
Type: BOOK - Published: 2018-07-27 - Publisher: Cambridge Scholars Publishing

DOWNLOAD EBOOK

The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring adv
Formal Methods in Architecture and Urbanism, Volume 2
Language: en
Pages: 540
Authors: Catarina Ruivo
Categories: Architecture
Type: BOOK - Published: 2021-10-26 - Publisher: Cambridge Scholars Publishing

DOWNLOAD EBOOK

This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances bas
Formal Methods in Architecture
Language: en
Pages: 325
Authors: Sara Eloy
Categories: Architecture
Type: BOOK - Published: 2021-01-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on t
Formal Methods in Architecture
Language: en
Pages: 522
Authors: Plácido Lizancos Mora
Categories: Technology & Engineering
Type: BOOK - Published: 2023-09-02 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on th
Emerging Perspectives on Teaching Architecture and Urbanism
Language: en
Pages: 350
Authors: David Leite Viana
Categories: Architecture
Type: BOOK - Published: 2023-11-17 - Publisher: Cambridge Scholars Publishing

DOWNLOAD EBOOK

This book contains a set of essays on the teaching of Architecture and Urbanism, written by university professors and researchers from several countries. It arg