Dean,  C. Neville  <br/><br/>
Teaching And Learning Formal Methods  :  
edited by C. Neville Dean and Michael G. Hinchey 
 - New york  Academic press  1996 
 - xv, 285 p.  24 cm. 
<br/><br/>Includes bibliographies and index 
<br/><br/><label>ISBN: </label>9780080518503 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Microcomputers-teaching; computer software development study and teaching; minicomputers
<br/><br/><label>Dewey Class. No.: </label>004.07  / DEA