Kommande
Data & IT
Formal Methods in Architecture
Bruno Marques • Catarina Ruivo • David Leite Viana • Jorge Vieira Vaz
Inbunden
5359:-
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.
- Format: Inbunden
- ISBN: 9783032027818
- Språk: Engelska
- Antal sidor: 737
- Utgivningsdatum: 2025-10-04
- Förlag: Springer Nature Switzerland AG