TY  - BOOK
AU  - Cardoso, Rodrigo
TI  - Verificacion y desarrollo de programas
SN  - 9579057209
U1  - 005.12 
PY  - 1993///
CY  - Bogotá : 
PB  - Ediciones Universidad de los Andes, 
KW  - Computadores electronicos
KW  - Lenguaje de programacion
ER  -