Logic in Computer Science: Modelling and Reasoning about Systems
Material type: TextPublication details: Cambridge Cambridge University Press 2004Description: xiv, 427 p. ; 24 cmISBN:- 9780521670890
- 005.1015113 HUT
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10851 |
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.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 |