Bjorner, D. <br/><br/>
Software engineering 2 : specification of systems and languages /  
by D. Bjorner. 
 - /   . 
 - NewYork :   Springer ,   2007. 
 - xxiii, 777p. :   ills. figs ;   23cm .  
<br/><br/>Includes indes and bibliographical reference 
<br/><br/><label>ISBN: </label>9783540211501  RS0.00 
<br/><br/><label>Subjects--Index Terms: </label>COMPUTER SCIENCE 
<br/><br/><label>Dewey Class. No.: </label>005.1  / BJO/S