All ebooks by David Leite Viana in PDF and EPUB
Readzis program recommandation

All ebooks by David Leite Viana in PDF and EPUB


2  Book(s)
Download this eBook Formal Methods in Architecture
Add to my wish list

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...

Publication date: 2023-08-01
Format: PDF, ePub
Publisher: Springer
Collection: Digital Innovations in Architecture, Engineering and Construction
Add to basket
£199,50
Download this eBook Formal Methods in Architecture
Add to my wish list

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...

Publication date: 2021-01-04
Format: PDF, ePub
Publisher: Springer
Collection: Advances in Science, Technology & Innovation
Add to basket
£139,50

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved