Formal Methods in Architecture and Urbanism, Volume 2
Saved in:
| Title: | Formal Methods in Architecture and Urbanism, Volume 2 |
|---|---|
| Description: | This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances based on tools from mathematics. From millennial geometry to current shape grammars, several formal approaches to architecture and urbanism are presented here, in order to look at the potentials and purposes of these formal methods, both those on the horizon and those already accomplished. This book promotes the use of formal methods in the creation of new explicit languages for problem-solving in the field. This collection of papers will help students, academics, researchers, and practitioners developing formal methods towards the digitalization of the architecture and urbanism sector. |
| Authors: | Catarina Ruivo, Editor, David Leite Viana, Editor, Franklim Morais, Editor, Jorge Vieira Vaz, Editor |
| Resource Type: | eBook. |
| Subjects: | Computer architecture, Formal methods (Computer science), Architecture--Data processing, Architecture--Data processing |
| Categories: | ARCHITECTURE / Urban & Land Use Planning, SOCIAL SCIENCE / Sociology / Urban |
| Database: | eBook Collection (EBSCOhost) |
Be the first to leave a comment!
