Articoli correlati a Formal Methods in Architecture: Proceedings of the...
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture 5fma, Lisbon 2020 - Rilegato
- EditoreSpringer Nature
- Data di pubblicazione2021
- ISBN 10 303057508X
- ISBN 13 9783030575083
- RilegaturaCopertina rigida
- Numero edizione1
- Numero di pagine348
- RedattoreEloy Sara, Viana David Leite, Morais Franklim, Vaz Jorge Vieira
Compra nuovo
Scopri di più su questo articolo
EUR 192,60
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 International Publishing
(2021)
ISBN 10: 303057508X
ISBN 13: 9783030575083
Nuovo
Rilegato
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Promotes new insights on the advance of cutting-edge formal methods and digital design research and professional practicesDemonstrates an alternative and comprehensive overview focused on current problems in Architecture and Urbanism, instead of o. Codice articolo 436542473
Compra nuovo
EUR 192,60
Convertire valuta
Immagini fornite dal venditore
Formal Methods in Architecture
Editore:
Springer International Publishing Jan 2021
(2021)
ISBN 10: 303057508X
ISBN 13: 9783030575083
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 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. 348 pp. Englisch. Codice articolo 9783030575083
Compra nuovo
EUR 235,39
Convertire valuta
Immagini fornite dal venditore
Formal Methods in Architecture : Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
Editore:
Springer International Publishing
(2021)
ISBN 10: 303057508X
ISBN 13: 9783030575083
Nuovo
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783030575083
Compra nuovo
EUR 238,21
Convertire valuta
Foto dell'editore
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation)
Da:
Valutazione libreria
Descrizione libro Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Codice articolo 26390048585
Compra nuovo
EUR 319,91
Convertire valuta
Foto dell'editore
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation)
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. Print on Demand. Codice articolo 390599830
Compra nuovo
EUR 349,64
Convertire valuta