Image from Amazon.com
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 PRO
| Item 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
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004 FUN Fundamental concepts in computer science | 004 GOL(MAT) Matrix computations | 004 HOG(CON) Concepts in computing | 004 PRO Proof, language, and interaction: essays in honour of Robin Milner | 004 RAJ(FUN) Fundamentals of computers : fourth edition | 004 RAJ(FUN) Fundamentals of computers : fourth edition | 004 RAJ(FUN) Fundamentals of computers : fourth edition |
ME/1/2010-11/0031 / 22-04-2010
There are no comments on this title.