Theory and formal methods 1993 / Proceedings of the first Imperial College Department of Computing workshop on theory and formal methods ......................29-31 March 1993
Material type: TextPublication details: London: Springer-Verlag, 1993Description: viii, 325pISBN:- 3-540-19842-3
Item type | Current library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Proceedings | National Science Library | D 681.3.068(082.2) N3 (Browse shelf(Opens below)) | Available | 175298 |
There are no comments on this title.