TY  - BOOK
AU  - CARDOSO RODRIGO
TI  - VERIFICACION Y DESARROLLO DE PROGRAMAS
T2  - 0
SN  - 958-9057-20-9
U1  - 005.43 
PY  - 1991///
CY  - COLOMBIA
PB  - ECOE EDICIONES
KW  - OBRAS GENERALES
N1  - CORRECCION-SEMANTICA AXIOMATICA/PROCEDIMIENTOS-PARADIGMAS
ER  -