Cardoso,Rodrigo <br/><br/>
Verificación y Desarrollo de Programas  
/Rodrigo Cardoso 
 -  Edit.Uniandes.  1991 
 - 473p. :  il. :  24 cm. 
<br/><br/> Indice. 
<br/><br/>Bibliografia 463p. 
<br/><br/>1. Corrección<br/>2. Semántica axiomática y verificación.<br/>3. Procedimiento<br/>4. Desarrollo de programas.<br/>5. Paradigmas<br/>6. Especificación    
<br/><br/><label>ISBN: </label>9589057209 
<br/><br/><label>Subjects--Topical Terms: </label><br/>TECNOLOGÍAS DE INFORMACIÓN Y COMUNICACIÓN<br/>PROGRAMAS PARA COMPUTADORAS<br/>LENGUAJE DE PROGRAMACION (COMPUTADORES ELECTRONICOS) -- SEMANTICA<br/>INGENIERIA DE SOFTWARE
<br/><br/><label>Dewey Class. No.: </label>005.3  / C26