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 |
Browsing National Science Library shelves Close shelf browser (Hides shelf browser)
D 681.3.067(082.2) N0.1 Fifth distributed memory computing conference | D 681.3.068 N2 Software reuse and reverse engineering in practice | D 681.3.068 XPL L0 Computer generator | D 681.3.068(082.2) N3 Theory and formal methods 1993 | D 681.3.07 K4 Automatic message retrieval: Studies for the design of an english command and control language system | D 681.3.07:00254(082.2) L8 Techniques for the retrieval of chemical information | D 681.3.07(02) L0 User's guide to the operation of an information storage and retrieval system on the B5500 computer |
There are no comments on this title.