Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Assunto Especificação e verificação algébrica

Mostrando resultados 1 a 2 de 2

Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Ayala-Rincón, Mauricio
Almeida, Ariane Alves
22-Out-2014
★★★★★ (0)
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Ayala-Rincón, Mauricio
Almeida, Ariane Alves
22-Out-2014
★★★★★ (0)

Mostrando resultados 1 a 2 de 2