Ir para o conteúdo principal
Tese de doutoramento
Acesso aberto
Foundations of program refinement by calculation
Autor(es)
Rodrigues, César J.
Orientador(es)
Oliveira, José Nuno Fonseca
Ficheiros
tese final.pdf
(745.21 KB)
Embargo
Tipo de Documento
Tese de doutoramento
Idioma
Coleções
BUM - Teses de doutoramento | Doctoral thesis
A carregar...
Ver registo completo