Catarina Ruivo – författare
Visar alla böcker från författaren Catarina Ruivo. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Formal Methods in Architecture
Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024
Inbunden, Engelska, 2025
2 992 kr
Skickas inom 10-15 vardagar
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.