Formal Methods in Architecture | Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Language: English
Published by Springer, 2024
Series: Book 10 of 17 - Digital Innovations in Architecture, Engineering and Construction
- Softcover
- New
Condition: New
£ 176.56
Quantity: 5 available
Add to basketItem description from seller
Formal Methods in Architecture | Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 | Plácido Lizancos Mora (u. a.) | Taschenbuch | Digital Innovations in Architecture, Engineering and Construction | xxviii | Englisch | 2024 | Springer | EAN 9789819922192 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller Inventory # 129793612
- Title
- Formal Methods in Architecture | Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
- Author
- Plácido Lizancos Mora (u. a.)
- Publisher
- Springer
- Publication year
- 2024
- Condition
- Neu
- Binding
- Taschenbuch
- Language
- English
- ISBN 10
- 9819922194
- ISBN 13
- 9789819922192
- Item weight
- 814 grams
- Dimensions
- 235 x 155 x 30 mm
- Series
- Book 10 of 17: Digital Innovations in Architecture, Engineering and Construction
- Seller catalogs
- Bücher
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from 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. Some of the themes in the book are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility and visibility analysis. This book proves a valuable resource for those in academia and industry.
"Synopsis" may belong to another edition of this title.
About the Author
Plácido Lizancos Mora is a Spanish architect (Universidade de Santiago de Compostela, 1988) and Masters of Architecture for African Development (Universidad Politécnica de Madrid, 2009). As a senior professor, he teaches architectonic analysis and basic habitability at Escola Técnica Superior de Arquitectura of Universidade da Coruña (ETSAC) since 1993. He has also taught as a visitor in PUCMM in the Dominican Republic; ENA in Rabat, Morocco; and UEM Mozambique and USB in Venezuela. As a researcher, he approaches using analytical tools to address social issues of architecture, producing many publications in this field and managing several research projects, some of them in a joint venture with Architecture Sanz Frontiers. He is also committed to managing educational institutions in various positions.
David Leite Viana is a post-doc. in Urban Morphology/Civil Engineering (FEUP, 2015), Ph.D. in Urban and Spatial Planning (IUU-UVa, 2008), DEA in Modern City and Architecture (UVa, 2005), and Dipl. Arch. (ESAP, 1999). He is the head of the Urban Planning Division at Matosinhos Municipality, a professor in the Integrated Master Programme on Architecture and Urbanism at UPT, an invited professor in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at UPV, PhD supervisor in the doctorate programme on Architecture for the Contemporary Metropolitan Territories at Iscte, an external reviewer at Chalmers University of Technology (Architecture and Urban Design Programme), a researcher at CEAU-FAUP, a visiting scholar in the Centre for Architecture, Urbanism and Global Heritage at NTU, and a visiting fellow in the Architecture & City Group at TU Delft (Theories of Architecture Fellowship Program). He is a co-founder and co-chair of the International Symposium Formal Methods in Architecture, PNUM Scientific Councillor and editorial board member of the journal “Revista de Morfologia Urbana”. He is the author of one book and co-editor of three volumes and two special issues. He is also the author of more than twenty book chapters and more than twenty-five papers published nationally and abroad.
Franklim Morais is a Portuguese civil and electronic engineer, Ph.D. professor and researcher. He was the leader of development teams of private commercial software for scientific applications: pioneering, in the early 1980s, the use of finite element methods for structural engineering on microcomputing; and since the early 1990s, developing COTS private hardware and software systems for smart buildings, urban spaces and cities. He is an invited professor in ESAP (Arts University of Porto) Architectural Course since 2001. He participates in LIAD, an academic research team, in a group dedicated to Formal Methods in Architecture. A major achievement is the production of DepthSpace3D and SCAVATools, digital tools for space syntax analysis. Since 1991, he participated in the organization (scientific and operational committees) of 12 conferences on his scientific fields of interest, including the 2 symposia of the series “Formal Methods in Architecture” (since 2011). Since 1987, he has produced several conference papers and journal articles, being co-editor of three books on Formal Methods in Architecture.
Jorge Vieira Vaz Architect (FA Uni. Porto, Portugal, 1990), master’s in urban Renovation (Poznań Uni. Tech, Poland, 1995), DEA in Composición Arquitectónica (Uni. Valladolid, Spain, 2002), is a teacher of Construction and Technologies in the Master Course in Architecture at ESAP (Porto, since 1993). He is a teacher and co-coordinator of “Bim Coordination” postgraduated studies programme at ISEP (Instituto Superior de Engenharia do Porto) since 2019. He was a teacher at Coimbra University (Civil Engineering Department), Aveiro University (Communication and Art Department), ARCA/ETACoimbra (Architecture Course) and at High Institute of Administrative and Informational Sciences of Aveiro (Public Administration Course). He was a M.Sc. Thesis supervisor and jury member in several institutions (Minho University, Gallaecia University, Aveiro University and ESAPorto). He develops his professional activity as architect since 1991 and at AAVV (Portugal and Bonaire, since 2000) is a certified expert in building thermal behaviour (ADENE, since 2008) and is BIM/VDCPM―Building Information Modelling/Virtual Design and Construction Project Manager (since 2005). He was co-founder of IERU―Institute of Regional and Urban Studies at University of Coimbra and was a researcher at MEREC Project―Managing Energy and Resources in Efficient Cities (Tennessee Valley Authority/CCRC/FLAD, Coimbra) and at RECITE/REBUILD Network Programme―Renewable Energies for Buildings in European Historical Centers, (European Commission―DGXVII); nowadays, he develops his research activity in Formal Methodologies in Architectural Design and Construction, namely BIM (Building Information Modelling), parametric design, ontologies and taxonomy, at LIAD/ESAP- Architecture and Design Research Laboratory. He co-developed “DepthSpace 3D” digital tool, for three-dimensional spatial syntactic analyses (LIAD/ESAP) now a full-functional digital application in space syntax (SS), granted by EU founds. He is a (co)founder and chair of the International Symposium Formal Methods in Architecture, since 1st edition. He was a guest co-editor of the Special Issue “Formalizing Urban Methodologies” (Urban Science Journal, 2018) and was a co-editor of the books: Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018), Formal Methods in Architecture (Springer, 2021) and Formal Methods in Architecture and Urbanism II (Cambridge Scholars Publishing, 2021)."About the title" may belong to another edition of this title.
Shipping rates from Germany to U.S.A.
| Item | 60 to 60 business days | 60 to 60 business days |
|---|---|---|
| First item | £ 59.14 | £ 59.14 |
Payment methods
- Paypal
Store description
preigu betreibt einen Onlineversandhandel mit über 1 Mio. Produkten in verschiedenen Sortimenten. Das Kernsortiment besteht aus Büchern, Medien und Spielwaren. Ein gelungenes Einkaufserlebnis ist das Ziel einer jeden Bestellung bei preigu, denn der Kunde und seine Zufriedenheit stehen an erster Stelle. preigu setzt daher auf einen kompetenten Kundenservice, funktionierende Prozesse und schnelle Reaktion.
Specialty
Bücher, SpielwarenSeller's business information
preigu GmbH & Co. KG
Lengericher Landstraße 19
Osnabrück, Germany 49078
Terms of sale
About Us
Legal website operator identification:
preigu GmbH & Co. KG
Lengericher Landstr. 19
49078 Osnabrück
Germany
Telephone: +49 (0) 541 / 580 72 84
Email: mail@preigu.de
VAT No: DE 455 380 498
AG Osnabrück - HRA 209647
PhG: preigu Verwaltung GmbH
AG Osnabrück - HRB 221793
CEO: Ansas Meyer
We are neither willing nor obliged to participate in dispute resolution proceedings before consumer arbitration boards.
We are a member of the initiative "FairCommerce" since 30.11.2016.
For more information, see: https://www.haendlerbund.de/de/haendlerbund/interessenvertretung/faircommerce
Right of withdrawal
Instructions for revocation
Right of withdrawal for the sale of goods
Revocation right for consumers
(A ‘consumer' is any natural person who concludes a legal transaction which, to an overwhelming extent, cannot be attributed to either his commercial or independent professional activities.)
Instructions for revocation
Revocation right
You have the right to revoke this contract within 14 days without specifying any reasons.
The revocation period is 14 days with effect from the day,
-
on which you or a third party nominated by you, which is not the carrier, had taken possession of the products, provided you had ordered one or more products within the scope of a standard order and this/these product/products is/are delivered uniformly;
-
on which you or a third party nominated by you, which is not the carrier, had taken possession of the last product, provided you had ordered several products within the scope of a standard order and these products are delivered separately;
-
on which you or a third party nominated by you, which is not the carrier, had taken possession of the last part delivery or the last unit, provided you had ordered a product, which is delivered in several part deliveries or units;
To exercise your right of withdrawal, you must inform us (preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, Telephone number: +49 (0) 541 / 580 72 84, E-Mail address: mail@preigu.de) by means of a clear declaration (e.g. a letter sent by post, or an e-mail) of your decision to withdraw from this contract. You can use the attached model withdrawal form for this purpose, which is, however, not mandatory.
You can also exercise your right of withdrawal online by clicking on a button labelled accordingly (such as ‘Withdraw from contract' or similar) on the AbeBooks/ZVAB website. If you use this online function, you will immediately receive a confirmation of receipt on a durable medium (e.g. via email) containing information on the content of the withdrawal notice, as well as the date and time of its receipt.
In order to safeguard the revocation period, it is sufficient that you send the notification about the exercise of the revocation right before the expiry of the revocation period.
Consequences of the revocation
If you revoke this contract, we shall repay all the payments, which we received from you, including the delivery costs (with the exception of additional costs, which arise from that fact that you selected a form of delivery other than the most reasonable standard delivery offered by us), immediately and at the latest within 14 days from the day on which we received the notification about the revocation of this contract from you. We use the same means of payment, which you had originally used during the original transaction, for this repayment unless expressly agreed otherwise with you; you will not be charged any fees owing to this repayment.
We can refuse the repayment until the products are returned to us or until you have furnished evidence that you have sent the products back to us, depending on whichever is earlier.
You must return or transfer the products to us immediately and, in any case, at the latest within 14 days with effect from the day on which you inform us of the revocation of this contract. The deadline is maintained if you send the products before the expiry of the 14 day deadline.
You bear the direct costs for returning the products.
You must pay for any depreciation of the products only if this depreciation can be attributed to any handling with you that was not necessary for checking the condition, features and functionality of the products.
Criteria for exclusion or expiry
The revocation right is not available for contracts
-
for delivery of products, which are not prefabricated and for whose manufacturing an individual selection or stipulation by the consumer is important or which are clearly tailored to the personal requirements of the consumer;
-
for delivery of products, which can spoil quickly or whose use-by date would be exceeded quickly;
-
for delivery of alcoholic drinks, whose price was agreed at the time of concluding the contract, which however can be delivered 30 days after the conclusion of the contract at the earliest and whose current value depends on the fluctuations in the market, on which the entrepreneur has no influence;
-
for delivery of newspapers, periodicals or magazines with the exception of subscription contracts. The revocation right expires prematurely in case of contracts
-
for delivery of sealed products, which are not suitable for return for reasons of health protection or hygiene if their seal has been removed after the delivery;
-
for delivery of products if they have been mixed inseparably with other goods after the delivery, owing to their condition;
-
for delivery of sound or video recording or computer software in a sealed package if the seal has been removed after the delivery.
Specimen - revocation form
(If you wish to revoke the contract, please fill up this form and send it back to us.)
-
To preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, Email address: mail@preigu.de :
-
I/we () herewith revoke the contract concluded by me/ us () regarding the purchase of the following products ()/
the provision of the following service () -
Ordered on ()/ received on ()
-
Name of the consumer(s)
-
Address of the consumer(s)
-
Signature of the consumer(s) (only in case of a notification on paper)
-
Date
(*) Cross out the incorrect option.