Alencar, Paulo S. C. de <br/><br/>
Metodos formais para desenvolvimento de programas 

 - 175 p. 
<br/><br/><label>ISBN: </label>950-13-9878-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>programacao
<br/><br/><label>Universal Decimal Class. No.: </label>004.4'2