Theory and formal methods of computing 94
Subtitle: proceedings of the Second Imperial College Workshop
By: editors, C. Hankin, I. Mackie, R. Nagarajan.
Contributors: Hankin, Chris.; Mackie, I.; Nagarajan, R.; Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing.; Imperial College Department of Computing Workshop on Theory and Formal Methods (2nd : 1994 : Cambridge, England)
Publisher: Imperial College Press; Distributed by World Scientific
Published: 1995
Place of publication: London; Singapore; River Edge, NJ
Language: eng
Number of pages: 431
Subjects: Computer science -- Congresses.; Formal methods (Computer science) -- Congresses.
Notes: Includes bibliographical references and index.
At head of title: Imperial College, Department of Computing.
Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994.