Berlioux, Pierre <br/><br/>
Algortitmique : contruction, preuve et evaluation des programmes 

 - 2a ed 
 - Paris-FR  Dunod  1983 
 - 183 p 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMACION (COMPUTADORAS ELECTRONICAS)
<br/><br/><label>Dewey Class. No.: </label>001.642 BER