Backhouse, Roland   <br/><br/>
Program construction  calculating implementations from specifications 
Roland Backhouse 
 - New Delhi  Wiley Dreamtech  2004 
 - xii, 340p. 
<br/><br/><label>ISBN: </label>8126504889 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming
<br/><br/><label>Dewey Class. No.: </label>005.1 B127p