Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/2065

Full metadata record
DC FieldValueLanguage
dc.contributor.authorFrade, M. J.-
dc.date.accessioned2005-06-09T09:39:19Z-
dc.date.available2005-06-09T09:39:19Z-
dc.date.issued1998-
dc.identifier.citationFRADE, Maria João – “Sebenta prática de elementos lógicos da programação I” [Em linha]. [S.l.] : Departamento de Informática Universidade do Minho, 1998. [Consult. 9 Jun. 2005]. Disponível em: http://www.di.uminho.pt/~mjf/publicationseng
dc.identifier.urihttp://hdl.handle.net/1822/2065-
dc.language.isoporeng
dc.publisherUniversidade do Minho. Departamento de Informáticaeng
dc.rightsopenAccesseng
dc.subjectLógicaeng
dc.subjectSistemas de provaeng
dc.subjectIsabelle proof assistanteng
dc.titleSebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelleeng
dc.typeothereng
Appears in Collections:DI/CCTC - Publicações Pedagógicas

Files in This Item:
File Description SizeFormat 
sebELP1.ps280,93 kBPostscriptView/Open
sebELP1.pdf322,52 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID