Simon Gay
2 published titles
Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 2
(Contributor)
1 edition
- ISBN: 3540198423
- Springer-Verlag
- 1993
- Details
Semantic techniques in quantum computation
(Contributor)
1 edition
- ISBN: 9780521513746
- Cambridge University Press
- 2010
- Details
