TY  - BOOK
TI  -  Teaching and learning formal methods
T2  - Academic Press International Series in formal Methods
SN  - 0123490405
U1  - 004.07 
PY  - 1996///
CY  - London
PB  - Academic Press
KW  - System design--Study and teaching
N1  - Include index; 1.	An industrial perspective on educational issues relating to formal method
2.	Effective formal method education for professional software engineers
3.	Education for computing professional
4.	Teaching programming engineering
5.	Hints to specifiers
6.	Moore formal methods in the classroom
7.	An empirical study of specification readability
8.	Investiating student diffculties with mathmatical logic
9.	An executable course in the algebraic semantics of imperative programms 
10.	Improving the curriculum through the teaching of calculation and discrimination
11.	Teaching hardware and software verification in a uniform framework

ER  -