Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados

By:

Contributor(s):

Material type: Text

TextPublication details: 2003Description: 121 p. ; 29 cmSubject(s):

Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due	Barcode
Tesis de posgrado	Biblioteca de la Facultad de Informática	TES 03/04 (Browse shelf(Opens below))	Consulta en Sala		DIF-02420

Previous								Next
Previous	TES 03/01 Implementación de una metodología para el diseño físico de un Data Warehouse	TES 03/02 Evolución de redes neuronales mediante sistemas de reescritura	TES 03/03 Aplicaciones multicast sobre IPv6	TES 03/04 Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados	TES 03/05 Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos	TES 03/06 Estudio del proceso unificado de desarrollo de software mediante una aplicación ejemplo : comparación del mismo con una metodología tradicional	TES 03/07 Obteniendo eficiencia y legibilidad en programas generados automáticamente	Next

Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.

Click on an image to view it in the image viewer