000 00609nam a2200121 4500
050 _aQA76.9 MCCC3 T4 B3 2008
082 _a005.117.22 B3a
100 _aBadillo S nchez, Liliana
245 _aAn 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
300 _a52 / 28 cm.
502 _aTesis. Opción I. CENIDET (Maestría en Ciencias en Ciencias Computacionales) Dr. Ren‚ Santaolaya Salgado
650 _a1. PROGRAMACION ORIENTADA A OBJETOS \ 2. JAVA (LENGUAJE DE PROGRAMACION PARA COMPUTADORA)
999 _c26454
_d26454