Diseño efectivo de programas correctos /

Saved in:

Bibliographic Details
Main Author:	Bohórquez Villamizar, Jaime Alejandro
Format:	Book
Language:	Spanish
Published:	Bogotá : Editorial Escuela Colombiana de Ingeniería, 2006.
Edition:	Primera edición
Series:	Colección de informática
Subjects:	Programación (Computadores electrónicos) Software de programación Programación dinámica Algoritmos Representaciones puntuales (Matemáticas)
Notas Contenido:	¿Por qué resolver problemas y programar son labores tan difíciles Cálculo lógico La programación como ciencia Corrección y derivación de programas iterativos Corrección y derivación de programas recurrentes Complejidad algorítmica Ecuaciones de recurrencia Métodos generales de solución de problemas Divide y vencerás Técnicas avanzadas de derivación Búsqueda en estructuras lineales Estructuras notables Programación dinámica Métodos voraces Exploración de grafos Intratabilidad

Description
Physical Description:	472 páginas : ilustraciones ; 24 cm.
Bibliography:	Incluye referencias bibliográficas e índice
ISBN:	9588060567 9789588060569

Similar Items