Formal Methods in Architecture
Formal Methods in Architecture
Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022
Mora, Placido Lizancos; Viana, David Leite; Morais, Franklim; Vieira Vaz, Jorge
Springer Verlag, Singapore
08/2023
515
Dura
Inglês
9789819922161
15 a 20 dias
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Semantic Organization of Information;Collection and Low-level Treatment of Information;Representation, Visualization and Interaction;Formal Theories and Analysis Methodologies;Computer Aided Production;Architectural Design Automation;6FMA22
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.