作者: Franklim Morais, Jorge Vieira Vaz David Leite Viana

支持
Jorge Vieira Vaz is an Integrated Researcher within the Architecture and Technology Group – Laboratory for Research in Architecture, Oporto Arts Higher School, Portugal. His scientific production focuses on taxonomies, ontologies and classification systems in scientific fields on architecture and construction technologies, including virtual design to construction project and BIM (Building Information Modelling) methodologies.




1 电子书 Franklim Morais, Jorge Vieira Vaz David Leite Viana

Franklim Morais & Jorge Vieira Vaz: Formal Methods in Architecture and Urbanism
The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring advantages to human actions and involve th …
PDF
DRM
€125.79