Martin Loomes
2 published titles
Software engineering mathematics : formal methods demystified
(Contributor)
1 edition
- ISBN: 0273026739
- Pitman
- 1988
- Details
The Mathematical revolution inspired by computing : based on the proceedings of a conference on the Mathematical Revolution Inspired by Computing organized by the Institute of Mathematics and its Appl
(Contributor)
1 edition
- ISBN: 0198536585
- Clarendon
- 1991
- Details