Items related to Formal Methods in Architecture: Proceedings of the...
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital ... Architecture, Engineering and Construction) - Hardcover
- PublisherSpringer
- Publication date2023
- ISBN 10 981992216X
- ISBN 13 9789819922161
- BindingHardcover
- Number of pages543
- EditorMora Plácido Lizancos, Viana David Leite, Morais Franklim, Vieira Vaz Jorge
Buy New
Learn more about this copy
US$ 251.26
Shipping:
US$ 2.64
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 46554559-n
Quantity: 3 available
Stock Image
Formal Methods in Architecture (Hardcover)
Published by
Springer Verlag, Singapore, Singapore, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
New
Hardcover
Seller: Grand Eagle Retail, Wilmington, DE, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 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. This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789819922161
Quantity: 1 available
Seller Image
Formal Methods in Architecture
Published by
Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 838236832
Quantity: Over 20 available
Seller Image
Formal Methods in Architecture
Published by
Springer Nature Singapore Aug 2023, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 544 pp. Englisch. Seller Inventory # 9789819922161
Quantity: 2 available
Stock Image
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 46554559-n
Quantity: 3 available
Seller Image
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Published by
Springer Nature Singapore, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9789819922161
Quantity: 1 available
Stock Image
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 46554559
Quantity: 3 available
Stock Image
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 543 pages. 9.25x6.10x1.22 inches. In Stock. Seller Inventory # x-981992216X
Quantity: 2 available
Stock Image
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26396049148
Quantity: 4 available
Stock Image
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 46554559
Quantity: 3 available