Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editors.
International Symposium on Formal Methods in Architecture (5th : 2020 : Lisbon, Portugal); Eloy, Sara, editor.; Viana, David Leite, editor.; Morais, Franklim, editor.; Vaz, Jorge Vieira, editor.
2021
NA2728
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editors.
Meeting Name International Symposium on Formal Methods in Architecture (5th : 2020 : Lisbon, Portugal)
ISBN 3030575098 (electronic book)
9783030575106 (print)
3030575101
9783030575113 (print)
303057511X
9783030575090 (electronic bk.)
9783030575083
303057508X
DOI https://doi.org/10.1007/978-3-030-57509-0
Published Cham, Switzerland : Springer, [2021]
Language English
Description 1 online resource (xxxii, 313 pages) : illustrations (some color)
Other Standard Identifiers 10.1007/978-3-030-57509-0 doi
Call Number NA2728
Dewey Decimal Classification 720.285
Summary This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. 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. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Added Author Eloy, Sara, editor.
Viana, David Leite, editor.
Morais, Franklim, editor.
Vaz, Jorge Vieira, editor.
Series Advances in science, technology & innovation, 2522-8714
Available in Other Form Print version: 9783030575083
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Introduction
Design, Construction and Management of the Built Environment
Social and Ecological Concerns in the Built Environment
Adaptability and Resilience of the Built Environment
Design Tools and Technics

Browse Subjects

Show more subjects...

Statistics

from
to
Export