Listar Ciencias Exactas y Naturales por tema "Teoria da computação"
Mostrando ítems 1-3 de 3
-
Análise estática de programas com Coq
(2019) [Resumen publicado en evento] -
Editor Grafico para a ferramenta Verigraph
(2019) [Resumen publicado en evento] -
Geração automática de regras de seleção para problemas de balanceamento de linhas de montagem heterogêneas
(2019) [Resumen publicado en evento]