Advances in theory and formal methods of computing:proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; ; ; ; ; |
Published: |
Imperial Collge Press,
|
Publisher Address: | London |
Publication Dates: | c1996. |
Literature type: | Book |
Language: | English |
Subjects: | |
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. |