Theory and formal methods
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-; Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing.; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1993
Place of publication: London; New York
Language: eng
Number of pages: 325
Subjects: Computer programming -- Congresses.; Formal methods (Computer science) -- Congresses.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."