Chris Casey <br/><br/>
A Programming Approach To Formal Methods 

 -   Mcgraw-Hill International (Uk) Limited  ©1994 
<br/><br/><label>ISBN: </label>9780077079680  132.2 
<br/><br/><label>Dewey Class. No.: </label>005.3 CAS