TY  - BOOK
AU  - Cardoso R., Rodrigo 
TI  - Verificación y desarrollo de programas / 
SN  - 9589057209 
U1  - 005.1 
PY  - 1993///
CY  - Bogotá
PB  - Ediciones Uniandes - Ecoe Ediciones, 
KW  - Programación (Computadores electrónicos)
ER  -