Links de Interés

Técnicas para la construcción de algoritmos eficientes

Visite los siguientes links :

• Técnicas de diseño 
• Validación de algoritmos (verificación formal) 
• Análisis de algoritmos (complejidad)