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

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares