Bjorner, Dines <br/><br/>
Software engineering 

 - New Delhi  Springer (India)  2007 
 - Various pagination 
<br/><br/>  3 vol set. 
<br/><br/><label>Subjects--Index Terms: </label>Software engineering  Software design  Abstraction and Modelling  Computer science