Ciclo de Seminários do Grupo RELEASE EVENTO: 03 de dezembro de 2008 "Specifying System with TLA+: An Introduction" "Correcção e Segurança Baseadas em Asserções: Uma Introdução à Verificação de Programas" 3 de Dezembro, pelas 14h30, no Anfiteatro 6.26. EVENTO: 03 de dezembro de 2008 Importar iCal Partilha Ver cartaz UBI Próximos eventos ver todos jan 7 Curso de Língua Gestual Portuguesa Nível 2 20:00 Microsoft Teams Candidaturas: Prémio Jovem Investigador UBI-CGD 2025 Outras notícias ver todas UBI recebe III Fórum EPIC a 30 de janeiro UBI com dez projetos aprovados na 7.ª edição do PROMOVE UBI lança Observatório pioneiro para estudar a Inteligência Artificial no Jornalismo Diplomada pela UBI vence Prémio “Mário Soares, Liberdade e Democracia” UBI participa em projeto internacional para promover a inclusão no Ensino Superior UBI reforça ligação a Moçambique Partilhar Data da última atualização: 2008-12-03