Pesquisa avançada
|
Lista de resultados: 1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
11-Mai-2009 | Foundations of program refinement by calculation | Rodrigues, César J. | Tese de doutoramento | Acesso aberto |
16-Nov-2009 | On the design of a Galculator | Silva, Paulo Filipe Araújo da | Tese de doutoramento | Acesso aberto |
- Anterior
- 1
- Próxima
Descobrir
Data de publicação
- 2 2009