Teaching and learning formal methods 
/ C. Neville Dean, Michael G. Hinchey 
 - London :  Academic Press,  1996 
 - xvi, 285 p. 
 - Academic Press International Series in formal Methods .
<br/><br/> Include index 
<br/><br/>1.	An industrial perspective on educational issues relating to formal method<br/>2.	Effective formal method education for professional software engineers<br/>3.	Education for computing professional<br/>4.	Teaching programming engineering<br/>5.	Hints to specifiers<br/>6.	Moore formal methods in the classroom<br/>7.	An empirical study of specification readability<br/>8.	Investiating student diffculties with mathmatical logic<br/>9.	An executable course in the algebraic semantics of imperative programms <br/>10.	Improving the curriculum through the teaching of calculation and discrimination<br/>11.	Teaching hardware and software verification in a uniform framework<br/> 
<br/><br/><label>ISBN: </label>0123490405 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design--Study and teaching
<br/><br/><label>Dewey Class. No.: </label>004.07  / D3468