Teaching and learning formal methods / C. Neville Dean, Michael G. Hinchey
Material type:
TextSeries: Academic Press International Series in formal MethodsPublication details: London : Academic Press, 1996Description: xvi, 285 pISBN: - 0123490405
- 004.07 D3468
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
UE-Central Library | 004.07 D3468 (Browse shelf(Opens below)) | Available | T9604 |
Browsing UE-Central Library shelves Close shelf browser (Hides shelf browser)
| 004.0684 S3986 Managing information technology projects | 004.0684 S3986 Managing information technology projects | 004.0688 C4578 Computer based reservation system | 004.07 D3468 Teaching and learning formal methods | 004.0711 M67829 Teaching of information technology | 004.0952 As36 Pakistan Journal of Emerging Science and Technologies (PJEST) | 004.0952 As36 Pakistan Journal of Emerging Science and Technologies (PJEST) |
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
There are no comments on this title.
