Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Semantic Techniques in Quantum Computation | 978-0-521-51374-6 (0-521-51374-X) | 2009 | Ian Mackie | |
| Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of ... College Workshop | 978-3-540-19842-0 (3-540-19842-3) | 1993 | Geoffrey Burn · Mark Ryan | |
| Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho | 978-0-387-19842-2 (0-387-19842-3) | 1993 | Mark Ryan · England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate · Geoffrey Burn · British Computer Society |