Theory and formal methods 1993
Subtitle: 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
By: Geoffrey Burn, Simon Gay and Mark Ryan (eds.).
Contributors: Burn, Geoffrey.; Gay, Simon, 1969-; Ryan, Mark, 1962-; British Computer Society.; Imperial College of Science, Technology and Medicine. Department of Computing.
Series: Workshops in computing
Publisher: Springer-Verlag in collaboration with the British Computer Society
Published: 1993
Place of publication: London
Language: eng
Number of pages: 325
Notes: Includes bibliographical references and index.