Formal Methods in Architecture

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

AvBruno Marques,Catarina Ruivo

Inbunden, Engelska, 2025

Del i serien Digital Innovations in Architecture, Engineering and Construction

2 967 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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 explicit languages for problem-solving in architecture and urbanism.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av