Tamanho: 2,08 MB
Uma Abordagem Qualitativa para Verificação Formal de Software Embarcado
- Autor: Marcelo Monteiro Custodio
- Categoria: Teses e Dissertações
- Idioma: Português
- Fonte: Programas de Pós-graduação da CAPES
- Instituição/Programa: UFAM/INFORMÁTICA
- Área Conhecimento: CIÊNCIA DA COMPUTAÇÃO
- Nível: Mestrado
- Ano da Tese: 2008
RESUMO
Sugestão de livros:
Download
Download
Download
Download
Download
Download
Download
Download
Download
Download