David Till
4 published titles
Principles of functional programming
(Contributor)
1 edition
- ISBN: 0137091486
- Prentice-Hall
- 1984
- Details
An introduction to formal specification and Z
(Contributor)
1 edition
- ISBN: 0134787021
- Prentice Hall
- 1991
- Details
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994
(Contributor)
1 edition
- ISBN: 3540198865
- Springer-Verlag
- 1994
- Details
Introduction to formal specification and Z
(Contributor)
1 edition
- ISBN: 0132422077
- Prentice Hall
- 1996
- Details