Applications Of Formal Methods 

 -   Prentice Hall International (Uk) Ltd.  ©1995 
<br/><br/><label>ISBN: </label>9780133669497  55.45 
<br/><br/><label>Dewey Class. No.: </label>004.21 HIN