TY  - BOOK
AU  - Bohorquez Villamizar,Jaime Alejandro
TI  - Diseño efectivo de programas correctos
T2  - Coleccion de Informatica
SN  - 9588060567
U1  - 005 
PY  - 2005///
CY  - Bogotá
PB  - Escuela Colombiana de Ingeniería Julio Garavito
KW  - Algoritmos (Computadores)
KW  - lemb
KW  - Teoría de grafos
KW  - Diseño de programas para computador
KW  - Programación (Computadores electrónicos)
KW  - embne
KW  - Relaciones de recurrencias
KW  - Complejidad computacional
ER  -