Semantics engineering with PLT redex
Material type:
TextPublication details: New Delhi PHI Learning Private Limited 2009Description: xii, 502p. ; 23.5cmISBN: - 9788120343207
- 005.11 FEL
Book
| Item type | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.11 FEL (Browse shelf(Opens below)) | Available | 17693 |
Total holds: 0
Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - General Stack Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.11 FEL Semantics engineering with PLT redex | 005.11 FEL Semantics engineering with PLT redex | 005.11 SKI.3E The algorithm design manual [3rd ed.] | 005.11 SKI.3E The algorithm design manual [3rd ed.] |
