Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth and Mark Ryan
Material type:
TextPublication details: New Delhi Cambridge University Press 2016Description: xiv, 427p. : ill. ; 24cmISBN: - 9780521670890
- 23rd 005.1015113 HUT
| Item type | Current library | Collection | Call number | Materials specified | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Reference Book | VIT-AP General Stacks | Reference | 005.1015113 HUT (Browse shelf(Opens below)) | Paper Back | Not For Loan (Restricted Access) | CSE | 012615 |
It includes Bibliography and Index Pages
There are no comments on this title.
Log in to your account to post a comment.