Formal methods in architecture: [electronic resource] :: 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.

Eloy, Sara,; Viana, David Leite,; Morais, Franklim,; Vaz, Jorge Vieira,

doi:10.1007/978-3-030-57509-0

Formal methods in architecture [electronic resource] : 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

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Formal methods in architecture [electronic resource] : 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).

Item Number

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.

Available in Other Form

Print version: 9783030575083

Linked Resources

Online Access