Teixeira Mendes, Sueli Bandeira <br/><br/>
Métodos para especificaçao de sistemas 

 - 288 páginas 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informatica<br/>Sistemas<br/>Especificaciones<br/>Semiformales<br/>Algebraica<br/>Modelos