Listar Ciencias Exactas y Naturales por autor "Barbosa, Jorge L.V."
Mostrando ítems 1-3 de 3
-
A interpretação abstrata aplicada na análise de granulosidade de programas em lógica
Azevedo, Silvana C. (1998) [Resumen publicado en evento] -
ORCA (Or Complexity Analyzer): analisador automático de complexidade OU.
Trevisan, Thobias Salazar (1998) [Resumen publicado en evento] -
Programação multiparadigma na linguagem OZ.
Goulart, Peter C. (1998) [Resumen publicado en evento]