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, 29-31 March 1993 |
|
Editor:
| Burn, Geoffrey Gay, Simon Ryan, Mark |
Series title: | Workshops in Computing |
ISBN: | 978-3-540-19842-0 |
Publication Date: | Jan 1993 |
Publisher: | Springer London, Limited
|
Book Format: | Paperback |
List Price: | AUD $187.95 |
Book Description:
|
Theory and Formal Methods 1993 provides an overview of work done by one of the world's leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.
Theory and Formal Methods 1993 provides an overview of work done by one of the world's leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.