Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas

Não existem arquivos associados a este item.
Título: 
Autor(es) e Colaborador(es): 
Autor(es) Principais: 
Outros identificadores: 
Data: 
22-Out-2014
22-Out-2014
22-Out-2014
4-Jul-2014
Tipo: 
Palavras-chave: 



Aparece nas coleções:UNB