Backhouse, Roland Carl,  1948-, <br/><br/>
Program construction :  calculating implementations from specifications / 
Roland Backhouse 
 - xii, 340 páginas :  ilustraciones ; 
<br/><br/><label>ISBN: </label>0470848820 (rustica : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación de computadoras
<br/><br/><label>LC Class. No.: </label>QA76.6  / B33193 
<br/><br/><label>Dewey Class. No.: </label>005.1