Formal Methods in Architecture Dublin Core Títol Formal Methods in Architecture Autor Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz Matèria Physical Sciences and Engineering Editor Springer Nature Data de publicació 2025 Identificador 9783032027825 Font https://doi.org/10.1007/978-3-032-02782-5 Etiquetes Physical Sciences and Engineering ← ítem anterior Ítem següent →
