Tim Denvir
3 published titles
Introduction to discrete mathematics for software engineering
1 edition
- ISBN: 0333407369
- Macmillan Education
- 1986
- Details
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
(Contributor)
1 edition
- ISBN: 0387197524
- Springer, in collaboration with the British Computer Society
- 1992
- Details
Formal aspects of measurement : proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
(Contributor)
1 edition
- ISBN: 0387197885
- Springer-Verlag in collaboration with the British Computer Society
- 1992
- Details
