Edinburgh LCF [Book]
By: Gordon, M.J.
Contributor(s): Wadsworth, C.P | Milner, A.J.
Material type:
BookSeries: Lecture notes in Computer Science ; Ed.Goos,G ; No.78. Publisher: 1979Description: 159p.ISBN: 9783540097242.Subject(s): Edinburgh LCF-Computer System | Computable function-Data processing | Computer ScienceDDC classification: 519.6(04)
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Catalogued | 519.6(04) GOO-L (Browse shelf) | Available | 14793 |
Browsing IASRI Library Shelves , Shelving location: Catalogued Close shelf browser
| No cover image available | ||||||||
| 519.6(04) GOO-L Design and implementation of Programming Languages | 519.6(04) GOO-L Design and implementation of programming language | 519.6(04) GOO-L Distributed systems-architecture and implemenation : Advanced Course | 519.6(04) GOO-L Edinburgh LCF | 519.6(04) GOO-L Formal aspects of cognitive processes | 519.6(04) GOO-L Fundamentals of Computation Theory | 519.6(04) GOO-L Gesellschaft fur informatik |
There are no comments for this item.