000 00483nam a2200181 4500
001 005773
003 DLC
008 141112s1993 ck r 000 u spa d
020 _a9579057209
041 0 _aspa
082 _a005.12
_bC268
100 0 _aCardoso, Rodrigo
245 _aVerificacion y desarrollo de programas
260 _aBogotá :
_bEdiciones Universidad de los Andes,
_c1993
650 _aComputadores electronicos
650 _aLenguaje de programacion
942 _2ddc
_cBK
999 _c5769
_d5769