Ebooks de Franklim Morais en PDF et EPUB

2 Livre(s)
Télécharger le livre : Formal Methods in Architecture
Ajouter à ma liste d'envies
Formal Methods in Architecture
David Leite Viana , Plácido Lizancos Mora , Franklim Morais , Jorge Vieira Vaz
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 the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and...

Editeur : Springer
Parution : 2023-08-01
Collection : Digital Innovations in Architecture, Engineering and Construction
PDF, ePub

220,49 €
Télécharger le livre : Formal Methods in Architecture
Ajouter à ma liste d'envies
Formal Methods in Architecture
Sara Eloy , David Leite Viana , Franklim Morais , Jorge Vieira Vaz
This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the...

Editeur : Springer
Parution : 2021-01-04
Collection : Advances in Science, Technology & Innovation
PDF, ePub

158,24 €