TY  - BOOK
AU  - Bohórquez Villamizar,Jaime Alejandro
TI  - Diseño efectivo de programas correctos
T2  - Colección de informática
AV  - QA76.6 ebook 
PY  - 2016///]
CY  - [Bogotá]
PB  - Escuela Colombiana de Ingeniería Julio Garavito Editorial
KW  - Computer programming
KW  - Data structures (Computer science)
N1  - Includes bibliographical references
UR  - https://www.digitaliapublishing.com/a/132263/
ER  -