Formal methods in architecture and urbanism /

Mostrar otras versiones (2)

"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 the use of theoretically driven techniques, expressed in languages stemmed from mathematics. Form...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Viana, David Leite (Editor ), Morais, Franklim (Editor ), Vaz, Jorge Vieira (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.
Temas:
Architecture > Data processing.
Formal methods (Computer science)
Méthodes formelles (Informatique)
Architecture > Informatique.
Architecture.
Regional & area planning.
Technology: general issues.
ARCHITECTURE > Adaptive Reuse & Renovation.
ARCHITECTURE > Buildings > Landmarks & Monuments.
ARCHITECTURE > Professional Practice.
ARCHITECTURE > Reference.
Architecture > Data processing
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Introduction
  • 3rd Symposium Formal Methods in Architecture: Opening Speech
  • Part I. From Information Gathering and Processing
  • Part II. To Higher Semantic Levels of Theories
  • Part III. To Design Methods of Project Production
  • Part IV. To Material Production.

Ejemplares similares