Derek Andrews
6 published titles
Computing for non-scientific applications
1 edition
- ISBN: 0718512529
- Leicester University Press
- 1987
- Details
The Software life cycle
(Contributor)
1 edition
- ISBN: 0408037415
- Butterworths
- 1990
- Details
Formal methods in standards : a report from the BCS Working Group
(Contributor)
1 edition
- ISBN: 3540195777
- Springer-Verlag
- 1990
- Details
Practical formal methods with VDM
1 edition
- ISBN: 0077072146
- McGraw-Hill
- 1991
- Details
Semantics of specification languages (SoSL) : proceedings of the international workshop on semantics of specifiction languages, Utrecht, the Netherlands, 25-27 October 1993
(Contributor)
1 edition
- ISBN: 3540198547
- Springer published
- 1994
- Details
A theory and practice of program development
1 edition
- ISBN: 3540761624
- Springer
- 1997
- Details
