Bjorner, Dines . <br/><br/>
Software engineering /   Textual Documents 
Dines Bjorner. 
 - New York :   Springer ,   2006. 
 - NULL ;   NULL. 
 - V1- 
<br/><br/><label>Subjects--Index Terms: </label>Software Engineering 
<br/><br/><label>Dewey Class. No.: </label>005.1  / BJO-1