Bjorner, D. <br/><br/>
Software engineering 1 : abstraction and modelling /  
by D. Bjorner. 
 - /   . 
 - NewYork :   Springer ,   2007. 
 - xxiii, 711p. :   ills. figs ;   23cm .  
<br/><br/>Includes index and bibliographical reference 
<br/><br/><label>ISBN: </label>9783540211495  RS3,995.00 
<br/><br/><label>Subjects--Index Terms: </label>COMPUTER SCIENCE 
<br/><br/><label>Dewey Class. No.: </label>005.1  / BJO/S