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

Slovenská národná knižnica

Holdings details from Slovenská národná knižnica
Call Number:	snkSC 212929
Copy 17A1577963 snkSC 212929 Konzervačný fond