TY  - BOOK
AU  - Cardoso,Rodrigo
TI  - Verificación y Desarrollo de Programas 
SN  - 9589057209
U1  - 005.3 21
PY  - 1991///
PB  - Edit.Uniandes.
KW  - TECNOLOGÍAS DE INFORMACIÓN Y COMUNICACIÓN
KW  - PROGRAMAS PARA COMPUTADORAS
KW  - LENGUAJE DE PROGRAMACION (COMPUTADORES ELECTRONICOS) -- SEMANTICA
KW  - INGENIERIA DE SOFTWARE
N1  - Indice; Bibliografia 463p; 1. Corrección
2. Semántica axiomática y verificación.
3. Procedimiento
4. Desarrollo de programas.
5. Paradigmas
6. Especificación
ER  -