Welcome to UE Central Library

Keep Smiling

Teaching and learning formal methods / C. Neville Dean, Michael G. Hinchey

Material type: TextTextSeries: Academic Press International Series in formal MethodsPublication details: London : Academic Press, 1996Description: xvi, 285 pISBN:
  • 0123490405
Subject(s): DDC classification:
  • 004.07 D3468
Contents:
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
List(s) this item appears in: Computer
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books Books UE-Central Library 004.07 D3468 (Browse shelf(Opens below)) Available T9604

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.

to post a comment.
Copyright © 2023, University of Education, Lahore. All Rights Reserved.
Email:centrallibrary@ue.edu.pk