Alencar, Paulo S. C. de <br/><br/>
Métodos formais para o desenvolvimento de programas 

 - Ed. prelim. 
 - Buenos Aires :   Kapelusz,  1988 
 - ix, 175 p.  ;  23 cm. 
 - Colección EBAI .
<br/><br/> Libro editado para la IV Escuela Brasileño-Argentina de Informática, realizada en Termas de Río Hondo, Santiago del Estero, Argentina, del 16 al 29 de enero de 1989. 
<br/><br/><label>Standard No.: </label>DIF000100 
<br/><br/><label>Subjects--Topical Terms: </label><br/>VERIFICACIÓN DE PROGRAMAS<br/>CORRECCIÓN DE PROGRAMAS<br/>MÉTODOS FORMALES