| Theory and Formal Methods 1993 Proceedings of the 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, March 1993 | | | Editor:
| Burn, Geoffrey
Gay, Simon
Ryan, Mark | | Series title: | Workshops in Computing Ser. | | ISBN: | 978-0-387-19842-2 | | Publication Date: | Nov 1993 | | Publisher: | Springer
| | Book Format: | Paperback | | List Price: | USD $79.95 |
| |