GUPTA, R. &OTHERS Eds. <br/><br/>
FORMAL METHODS AND MODELS FOR SYSTEM DESIGN :SYSTEM LEVEL PERSPECTIVE 

 - Boston  Kluwer Academic  2004 
 - ix+372p.,25X16Cms. 
<br/><br/><label>ISBN: </label>1402080514 
<br/><br/><label>Dewey Class. No.: </label>621.38195 G896