Percorrer por assunto Sistemas de prova
Mostrar 1-1 de um total de 1 resultados.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 1998 | Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle | Frade, M. J. | Outro | Acesso aberto |