Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
| Egile korporatiboa: | , , |
|---|---|
| Beste egile batzuk: | , , |
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
London
Springer-Verlag
c1993.
|
| Gaiak: |


