Theory and formal methods : 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 /

Bibliographic Details
Corporate Authors: Imperial College Department of Computing Workshop on Theory and Formal Methods Chelwood Gate, England, Imperial College of Science, Technology, and Medicine (Great Britain). Department of Computing, British Computer Society
Other Authors: Burn, Geoffrey, Gay, Simon, 1969-, Ryan, Mark, 1962-
Format: Conference Proceeding Book
Language:English
Published: London ; New York : Springer-Verlag, [1993]
Series:Workshops in computing.
Subjects:

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .I4457 1993
 
Call Number Status Get It
QA76.6 .I4457 1993 Available