Formal Methods in Architecture

Formal Methods in Architecture portes grátis

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