TY  - BOOK
AU  - Bohórquez Villamizar, Jaime Alejandro..
TI  - Diseño efectivo de programas correctos /
U1  - "005.1/B677d . 
PY  - 2006///.
KW  - General
N1  - Circulación y Prestamo
N2  - Otro tema
ER  -