Cover is for reference only

Advances in theory and formal methods of computing：proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

Saved in:
Bibliographic Details
Corporate Authors: Imperial College Department of Computing Workshop on Theory and Formal Methods 1996 Oxford, England) (Oxford, England)); Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing.
Group Author: (Abbas); Jourdan S.; (Sofia); McCusker G.; (Guy); Edalat A.
Published: Imperial Collge Press,
Publisher Address: London
Publication Dates: c1996.
Literature type: Book
Language: English
Subjects:
Computer science > Congresses.
Carrier Form: viii, 330 p.: ill. ; 23 cm.
ISBN: 1860940315
Index Number: TP311
CLC: TP311-532
Call Number: TP311-532/A244/1996/
Contents: "Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v.
Includes bibliographical references.

Related Book Recommendations