Cover Image

Diseño efectivo de programas correctos /

Show other versions (1)

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

Cover Image

Diseño efectivo de programas correctos. by Bohórquez Villamizar, Jaime Alejandro

Published 2006.

Book