Articoli correlati 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 - Rilegato
- EditoreSpringer Nature
- Data di pubblicazione2023
- ISBN 10 981992216X
- ISBN 13 9789819922161
- RilegaturaCopertina rigida
- Numero edizione1
- Numero di pagine544
- RedattoreMora Plcido Lizancos, Viana David Leite, Morais Franklim, Vaz Jorge Vieira
Compra nuovo
Scopri di più su questo articolo
EUR 180,07
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Formal Methods in Architecture
Editore:
Springer, Berlin|Springer Nature Singapore|Springer
(2023)
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuovo
Rilegato
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 838236832
Compra nuovo
EUR 180,07
Convertire valuta
Immagini fornite dal venditore
Formal Methods in Architecture
Editore:
Springer Nature Singapore Aug 2023
(2023)
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuovo
Rilegato
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Buch. Condizione: 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. Codice articolo 9789819922161
Compra nuovo
EUR 213,99
Convertire valuta
Foto dell'editore
Formal Methods in Architecture (Hardcover)
Editore:
Springer Verlag, Singapore, Singapore
(2023)
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuovo
Rilegato
Prima edizione
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: 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. Codice articolo 9789819922161
Compra nuovo
EUR 239,81
Convertire valuta
Immagini fornite dal venditore
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Editore:
Springer Nature Singapore
(2023)
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuovo
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Buch. Condizione: 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. Codice articolo 9789819922161
Compra nuovo
EUR 217,79
Convertire valuta
Foto dell'editore
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Editore:
Springer Nature
(2023)
ISBN 10: 981992216X
ISBN 13: 9789819922161
Nuovo
Rilegato
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: Brand New. 543 pages. 9.25x6.10x1.22 inches. In Stock. Codice articolo x-981992216X
Compra nuovo
EUR 273,60
Convertire valuta
Foto dell'editore
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)
Da:
Valutazione libreria
Descrizione libro Codice articolo STOCK18524574
Compra nuovo
EUR 303,52
Convertire valuta