Saltar para:
Logótipo
Você está em: Início > Cursos > Projetos / Dissertações / Teses > Tese de Mestrado em Ciência de Computadores
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Opções

Cursos

Tese de Mestrado em Ciência de Computadores

Contract Checking For Lazy Functional Languages

Estudante: Rui Jorge Santos Andrade
Nº de Estudante: 201304902
Orientadores: António Mário da Silva Marcos Florido
 
Estado: Concluído
Desde: 07-SET-2018
 
Início: 08-AGO-2017
Entrega da Tese: 12-SET-2018
Defesa: 07-SET-2018
   
Título da Tese: Contract Checking For Lazy Functional Languages
Título Provisório: Contract Checking For Lazy Functional Languages

Elementos do Júri

Nome Papel
Sandra Alves Presidente
José Almeida Arguente
Mário Florido Arguente
Recomendar Página Voltar ao Topo
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2022-12-10 às 03:40:38 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias