| Shelfclass_id | 3.D.1 |
| Sortkey | EDALAT, A |
| Authors | A. Edalat, S. Jourdan, G. McCusker |
| Title | Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop: Christ Church, Oxford, 1-3 April 1996 |
| Publisher | Imperial Collge Press |
| Year | c1996 |
| Languages | eng |
| Isbn | 1860940315 |
| Description | viii, 330 p. ill. 23 cm |
| Record date | 20060629 |
| Location | London |
| Keywords | Computer science, Formal methods (Computer science) |
| Notes | "Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v |