Formal methods in architecture : proceedings of the 6th international symposium on formal methods in architecture (6FMA), A Coruña 2022

Formal methods in architecture proceedings of the 6th international symposium on formal methods in architecture (6FMA), A Coruña 2022

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Symposium Formal Methods in Architecture (VerfasserIn)
Weitere Verfasser: Lizancos Mora, Plácido (HerausgeberIn), Viana, David Leite (HerausgeberIn), Morais, Franklim (HerausgeberIn), Vaz, Jorge Vieira (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Singapore Springer 2023
Schriftenreihe:Digital innovations in architecture, engineering and construction
Schlagworte:
Architecture > Methodology > Konferenzschrift > Architektur > Stadtplanung > Methodisches Konstruieren > Formale Methode > Computerunterstütztes Verfahren > Building Information Modeling
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Konferenzdaten dem Internet entnommen
Beschreibung:xxviii, 515 Seiten
Illustrationen, Diagramme
24 cm
ISBN:9789819922161
978-981-99-2216-1