Proof, language, and interaction: essays in honour of Robin Milner
Material type: TextLanguage: English Series: Publication details: The M.I.T. Press 2000 Edition: Description: xiv, 722pISBN: 0262161885 (HB)Subject(s): COMPUTER SCIENCE | COMPUTATIONAL COMPLEXITY | COMPUTER SCIENCEDDC classification: 004 PROItem type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Reference | Central Library | 004 PRO (Browse shelf(Opens below)) | 1 | Not for loan | 12081 |
Total holds: 0
ME/1/2010-11/0031 / 22-04-2010
There are no comments on this title.