| 000 | 01216nam a22001937a 4500 | ||
|---|---|---|---|
| 999 |
_c12178 _d12178 |
||
| 005 | 20200901095114.0 | ||
| 008 | 181113b ||||| |||| 00| 0 eng d | ||
| 020 | _a0123490405 | ||
| 040 | _cPK-IsLIS | ||
| 082 |
_a004.07 _bD3468 |
||
| 245 |
_a Teaching and learning formal methods _c/ C. Neville Dean, Michael G. Hinchey |
||
| 260 |
_aLondon : _bAcademic Press, _c1996 |
||
| 300 | _axvi, 285 p. | ||
| 490 | _aAcademic Press International Series in formal Methods | ||
| 500 | _aInclude index | ||
| 650 | _aSystem design--Study and teaching | ||
| 942 | _cBK | ||
| 505 | 0 | _a1. 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 | |