Backhouse, Roland C. <br/><br/>
Construction et vérification de programmes  
Roland C. Backhouse; traduit par René Quiniou. 
 -  Masson,  1989. 
 - [10], 276 p. 
 - (Manuels informatiques massson) .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>2225816603 
<br/><br/><label>Universal Decimal Class. No.: </label>004.42