Conteúdo / Main content
Menu Rodapé
  1. Início
  2. Eventos
  3. Ciclo de Seminários do Grupo RELEASE

Ciclo de Seminários do Grupo RELEASE

"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 Ficheiro PDF

  •   UBI

Data da última atualização: 2008-12-03
As cookies utilizadas neste sítio web não recolhem informação pessoal que permitam a sua identificação. Ao continuar está a aceitar a política de cookies.