Formal Methods in Architecture (eBook, PDF)
eBook, PDF

Formal Methods in Architecture (eBook, PDF)

Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024

Redaktion: Marques, Bruno; Vieira Vaz, Jorge; Leite Viana, David; Ruivo, Catarina
Versandkostenfrei!
Sofort per Download lieferbar
224,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
112 °P sammeln!
This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. 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. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new ...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.