Bjorner, D. <br/><br/>
Software engineering 3 : domains, requirements, and software design /  
by D. Bjorner. 
 - /   . 
 - NewYork :   Springer ,   2007. 
 - xxiii, 766p. :   ills. figs ;   23cm .  
<br/><br/>Includes index and bibliographical reference 
<br/><br/><label>ISBN: </label>9783540211518  set (acc no) 85170 
<br/><br/><label>Subjects--Index Terms: </label>COMPUTER SCIENCE 
<br/><br/><label>Dewey Class. No.: </label>005.1  / BJO/S