Teaching and learning formal methods / 
edited by C. Neville Dean and Michael G. Hinchey. 
 - London :  Academic,  c1996. 
 - xvi, 285 p. :  ill. ;  23 cm. 
 - Academic Press international series in formal methods. .
 - Academic Press international series in formal methods. .
<br/><br/> Preface /  An industrial perspective on educational issues relating to formal methods /  Effective formal methods education for professional software engineers /  Education for computing professionals /  Teaching programming as engineering /  Hints to specifiers /  Moore formal methods in the classroom : A how-to manual /  Formal methods and modeling in context /  An empirical study of specification readability /  Investigating student difficulties with mathematical logic /  An executable course in the algebraic semantics of imperative programs /  Improving the curriculum through the teaching of calculation and discrimination /  Programming, proving and calculation /  Wim Feijenm and Netty van Gasteren --  Teaching hardware and software versification in a uniform framework /  C. Neville Dean and Michael G. Hinchey --  John B. Wordsworth --  David Garlan --  David Lorge Parnas --  David Lorge Parnas --  Jeannette M. Wing --  James A. Foster and Michael Barnett --  C. Neville Dean and Michael G. Hinchey --  Kate M. Finney and Alex M. Fedorec --  Vicki L. Almstrum --  Grant Malcolm and Joseph A. Goguen --  David Gries --  Michael J.C. Gordon. 
<br/><br/><label>ISBN: </label>0123490405 (pbk.) 9780123490407 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design--Study and teaching.<br/>Computer software--Development--Study and teaching.
<br/><br/><label>Subjects--Index Terms: </label>Computers