Cover Image

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

Bibliographic Details
Main Authors: Lizancos Mora, Plácido 1962- (Author, Editor), Viana, David Leite (Author, Editor), Morais, Franklim (Author, Editor), Vaz, Jorge Vieira (Author, Editor)
Corporate Author: International symposium on formal methods in architecture A Coruña, Španielsko (Author)
Format: Conference Proceeding Book
Language:English
Published: Singapore Springer [2023]
Series:Digital innovations in architecture, engineering and construction
Subjects:
architektúra
urbanizmus
architektonické navrhovanie
digitálne technológie
územné plánovanie
Architecture
Urbanism
Digital technologies
Town and country planning
analýzy
zborníky konferencií
Analytic studies
Proceedings of conferences
Description
Item Description:Obsahuje profesijné pôsobenie editorov a poznámky pod čiarou
Physical Description:xxv, 515 strán diagramy, grafy, obrázky, plány, schémy 25 cm
Bibliography:Obsahuje bibliografiu
ISBN:9789819922161
9789819922178

Similar Items