LIU,S <br/><br/>
FORMAL ENGINEERING FOR INDUSTRIAL SOFTWARE DEVELOPMENT: USING THE SOFL METHOD 

 - BERLIN  Springer  2004 
 - xxii+408P., 24X16Cms 
<br/><br/><label>ISBN: </label>3540206027 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 L783