Repositório Digital

A- A A+

Prova semi-automática de propriedades de linguagens de programação

.

Prova semi-automática de propriedades de linguagens de programação

Mostrar registro completo

Estatísticas

Evento Salão de Iniciação Científica (20. : 2008 out. 20-24 : UFRGS, Porto Alegre, RS).
Título Prova semi-automática de propriedades de linguagens de programação
Autor Carniel, Germano Caumo
Orientador Moreira, Alvaro Freitas
Contido em Salão de Iniciação Científica (20. : 2008 out. 20-24 : Porto Alegre, RS). Livro de resumos. Porto Alegre : UFRGS, 2008.
Sessão Fundamentos da computação
Assunto Ciências exatas e da terra
Tipo Resumo publicado em evento
URI http://hdl.handle.net/10183/52113
Arquivos Descrição Formato
Resumo_200801553.pdf (12.29Kb) Resumo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.