opac-header

Theory and formal methods 1993 / Proceedings of the first Imperial College Department of Computing workshop on theory and formal methods ......................29-31 March 1993

Contributor(s): Material type: TextTextPublication details: London: Springer-Verlag, 1993Description: viii, 325pISBN:
  • 3-540-19842-3
Subject(s):
Item type: Proceedings
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Status Date due Barcode
Proceedings Proceedings National Science Library D 681.3.068(082.2) N3 (Browse shelf(Opens below)) Available 175298

There are no comments on this title.

to post a comment.