TY  - BOOK
AU  - Badillo S nchez, Liliana
TI  - An lisis del problema para determinar un procedimiento que deduzca a partir de código legado pre y pos condiciones e invariantes / Liliana Badillo  S nchez
AV  - QA76.9 MCCC3 T4 B3 2008 
U1  - 005.117.22 B3a 
KW  - 1. PROGRAMACION ORIENTADA A OBJETOS \ 2. JAVA (LENGUAJE DE PROGRAMACION         PARA COMPUTADORA)
N1  - Tesis. Opción I. CENIDET (Maestría en Ciencias en Ciencias Computacionales) Dr. Ren‚ Santaolaya Salgado
ER  -