(2 títols) Ordena per:Títol Autor Formal Methods in Architecture Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz Etiquetes: Physical Sciences and Engineering Formal Methods in Architecture Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz Etiquetes: Physical Sciences and Engineering Col·lecció destacada No hi ha cap col·lecció destacada disponible.
