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
| Corporate Authors: | , , |
|---|---|
| מחברים אחרים: | , , |
| פורמט: | ספר |
| שפה: | English |
| יצא לאור: |
London
Springer-Verlag
c1993.
|
| נושאים: |


