Bjørner, D.  1937- <br/><br/>
Software engineering 1 :  abstracting and modelling / 
D. Bjørner 
 - Germany :  Springer ,  2006 
 - xxxix, 711 p. :  ill. ; 24 cm. 
 - Texts in theoretical computer science .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>3540211497 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Computer programming