Advances in theory and formal methods of computing
Subtitle: proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
By: editors, A. Edalat, S. Jourdan, G. McCusker.
Contributors: Edalat, A.; Jourdan, S.; McCusker, G.; Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing.; Imperial College Department of Computing Workshop on Theory and Formal Methods (3rd : 1996 : Oxford, England)
Publisher: Imperial Collge Press
Published: 1996
Place of publication: London
Language: eng
Number of pages: 330
Subjects: Computer science -- Congresses.; Formal methods (Computer science) -- Congresses.
Notes: Includes bibliographical references.
"Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v.