Proof, Language and Interaction./ Plotkin Gordon, Essays in Honor of Robin Milne.
Series: Foundation of Computing SeriesPublication details: USA Massachusets Institute of Technology 2000Description: xiv,720 pISBN:- 0262161885
- QA 76 .P699 2000 13394
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
Books
|
University of Embu General Stacks | QA 76 .P699 2000 (Browse shelf(Opens below)) | Available | 13394 |
Total holds: 0
Browsing University of Embu shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| QA76.D49 2013 Computers Fundamentals and Programming./ | QA76 .L57 1999 Computers. / | QA76 .P35 2000 Computer Concepts Introductory./ | QA 76 .P699 2000 Proof, Language and Interaction./ | QA 76.S51 2011 Discovering Computers Microsoft Office 2007./ | QA 76 .S51 2011 Discovering Computers Microsoft Office 2007./ | QA 76 .S54 2008 Microsoft Office 2007./ |
Includes bibliographical and references.
There are no comments on this title.
Log in to your account to post a comment.