Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (1st ed. 2021) (Advances in Science, Technology & Innovation)
By: and and and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2021
Book Details
- Book Quality:
- Publisher Quality
- Book Size:
- 405 Pages
- ISBN-13:
- 9783030575090
- Related ISBNs:
- 9783030575083
- Publisher:
- Springer International Publishing
- Date of Addition:
- 04/22/22
- Copyrighted By:
- Springer
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Art and Architecture, Computers and Internet, Technology, Mathematics and Statistics, Politics and Government
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Jorge Vieira Vaz
- Edited by:
- Franklim Morais
- Edited by:
- David Leite Viana
- Edited by:
- Sara Eloy
Reviews
Other Books
- by Sara Eloy
- by David Leite Viana
- by Franklim Morais
- by Jorge Vieira Vaz
- in Nonfiction
- in Art and Architecture
- in Computers and Internet
- in Technology
- in Mathematics and Statistics
- in Politics and Government