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

Antioquia/Complejo Norte: Unknown

Holdings details from Antioquia/Complejo Norte: Unknown
Call Number:	005.1 B677d
Copy Ej. 1	Available Place a Hold