Artículos relacionados a 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) - Tapa dura
- EditorialSpringer-Verlag GmbH
- Año de publicación2023
- ISBN 10 981992216X
- ISBN 13 9789819922161
- EncuadernaciónTapa dura
- Número de páginas544
- EditorMora Plácido Lizancos, Vieira Vaz Jorge, Morais Franklim, Viana David Leite
Comprar nuevo
Ver este artículo
EUR 180,07
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Formal Methods in Architecture
Publicado por
Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 838236832
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 46554559-n
Cantidad disponible: 3 disponibles
Imagen de archivo
Formal Methods in Architecture (Hardcover)
Publicado por
Springer Verlag, Singapore, Singapore, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuevo
Tapa dura
Librería: Grand Eagle Retail, Wilmington, DE, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: 9789819922161
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods in Architecture
Publicado por
Springer Nature Singapore Aug 2023, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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. Nº de ref. del artículo: 9789819922161
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Publicado por
Springer Nature Singapore, 2023
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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. Nº de ref. del artículo: 9789819922161
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 46554559-n
Gastos de envío:
EUR 17,88
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 3 disponibles
Imagen de archivo
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 46554559
Cantidad disponible: 3 disponibles
Imagen de archivo
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 543 pages. 9.25x6.10x1.22 inches. In Stock. Nº de ref. del artículo: x-981992216X
Gastos de envío:
EUR 11,92
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26396049148
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 46554559
Gastos de envío:
EUR 17,88
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 3 disponibles