Formal Methods in Architecture Dublin Core Títol Formal Methods in Architecture Autor Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz Matèria Engineering Physical Sciences and Engineering Editor Springer Nature Data de publicació 2023 Identificador 9789819922178 Font https://doi.org/10.1007/978-981-99-2217-8 Etiquetes Engineering, Physical Sciences and Engineering Col·lecció Physical Sciences and Engineering ← ítem anterior Ítem següent →