Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho (Workshops in Computing)

Department

by: Mark Ryan · Simon Gay · England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate · Geoffrey Burn · British Computer Society

Paperback

details (USA).

ISBN: 978-0-387-19842-2

ISBN-10: 0-387-19842-3

Springer Verlag · 1993