Badillo S nchez, Liliana <br/><br/>
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 

 - 52 / 28 cm. 
<br/><br/>Tesis. Opción I. CENIDET (Maestría en Ciencias en Ciencias Computacionales) Dr. Ren‚ Santaolaya Salgado 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1. PROGRAMACION ORIENTADA A OBJETOS \ 2. JAVA (LENGUAJE DE PROGRAMACION         PARA COMPUTADORA)
<br/><br/><label>LC Class. No.: </label>QA76.9 MCCC3 T4 B3 2008 
<br/><br/><label>Dewey Class. No.: </label>005.117.22 B3a