Castilho, José Mauro Volkmer de <br/><br/>
Especifiçaoes formais e sistemas de bancos de dados 

 - Ed. prelim. 
 - Buenos Aires :   Kapelusz,  1987 
 - 137 p.  ;  23 cm. 
 - Colección EBAI .
<br/><br/><label>ISBN: </label>9501398595 
<br/><br/><label>Standard No.: </label>DIF001101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>REQUERIMIENTOS/ESPECIFICACIONES<br/>DISEÑO DE BASES DE DATOS<br/>SISTEMAS DE GESTIÓN DE BASES DE DATOS - SGBD<br/>MÉTODOS FORMALES