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:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 3-540-19842-3
![](/opac-tmpl/bootstrap/itemtypeimg/npl/Rare-Book.gif)
Item type | Current library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
National Science Library | D 681.3.068(082.2) N3 (Browse shelf(Opens below)) | Available | 175298 |
There are no comments on this title.