Formal description techniques VIII  :proceedings of the IFIP TC6 eighth international conference on formal description techniques, Montreal, Canada, October 1995 
edited by Gregor V. Bochmann,Rachida Dssouli and Omar Rafiq 
 - London:  Chapman & Hall,  1986. 
 -  xii,452p 
<br/><br/>includes index 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>041273270X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Software
<br/><br/><label>Dewey Class. No.: </label>302.2  / FOR