Bjorner,D. <br/><br/>
Software engineering 1 :  absractin and modelling/ 
D.Bjorner 
 - Berlin :  Springer,  2006 
 - xxxix,714p.;  24cm. 
 - Texts in Theoretical Compute science: an EATCS series .
<br/><br/>Includes bibliographical references and indexes 
<br/><br/><label>ISBN: </label>3540211497  Euro:74.95 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Software engineering--Abstraction
<br/><br/><label>Dewey Class. No.: </label>005.1